Sums of squares over totally real fields are rational sums of squares

DOI10.1090/S0002-9939-08-09641-XzbMath1163.12005arXiv0704.2824OpenAlexW2002341633MaRDI QIDQ3617579

Christopher J. Hillar

Publication date: 30 March 2009

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0704.2824

zbMATH Keywords

semidefinite programmingtotally real number fieldrational sum of squares

Mathematics Subject Classification ID

Sums of squares and representations by other particular quadratic forms (11E25) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Related Items

Tight bounds for rational sums of squares over totally real fields, Sum of squares decomposition of positive polynomials with rational coefficients, Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients, On exact Reznick, Hilbert-Artin and Putinar's representations, Sums of squares of polynomials with rational coefficients, Facial reduction for exact polynomial sum of squares decomposition, Sums of Hermitian squares and the BMV conjecture, Two remarks on sums of squares with rational coefficients, A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture, An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions

Uses Software

• Sostools
• SOS.m2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On D. Hägele's approach to the Bessis-Moussa-Villani conjecture
• The algebraic degree of semidefinite programming
• Some identities for elements of a symmetric matrix
• Advances on the Bessis-Moussa-Villani trace conjecture
• Sums of Hermitian squares and the BMV conjecture
• Even symmetric sextics
• Quadratic forms under algebraic extensions
• An algorithm for sums of squares of real polynomials
• A real symmetric tridiagonal matrix with a given characteristic polynomial
• Semidefinite programming relaxations for semialgebraic problems
• Symmetry groups, semidefinite programs, and sums of squares
• Uniform denominators in Hilbert's seventeenth problem
• Expressing a polynomial as the characteristic polynomial of a symmetric matrix
• Proof of the cases \(p \leq 7\) of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture
• Sums of Hermitian squares as an approach to the BMV conjecture
• Matrix Analysis
• The Pythagoras number of some affine algebras and local algebras.
• Exploiting Algebraic Structure in Sum of Squares Programs
• An elementary and constructive solution to Hilbert’s 17th Problem for matrices
• Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques