Gauss elimination without pivoting for positive semidefinite matrices and an ap...

• Author(s): Fidalgo, Carla
• Date: 2007
• Persistent ID: http://hdl.handle.net/10316/11278
• Origin: Estudo Geral - Universidade de Coimbra
• Subject(s): Positive semidefinite matrices; LU decomposition; Gauss elimination; Diagonalization of quadratic forms; Sums of squares
• Document Type: Preprint
• Language: English

Description

It is shown that Gauss elimination without pivoting is possible for positive semidefinite matrices. While we do not claim the method as numerically the most advisable, it allows to obtain sum of squares (sos) representations in a more direct way and with more theoretical insight, than by the usual text book proposals. The result extends a theorem attributed for definite quadratic forms to Lagrange and Beltrami and is useful as a finishing step in recent algorithms by Powers and WöNormann [PW] and Parillo [PSPP] to write polynomials p ¸ IR[x] = IR[x1, ..., xn] as a sum of squares in IR[x] when such a representation exists.