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

Related Items (10)

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

This page was built for publication: Sums of squares over totally real fields are rational sums of squares