Sums of squares of polynomials with rational coefficients

  title={Sums of squares of polynomials with rational coefficients},
  author={Claus Scheiderer},
  journal={arXiv: Algebraic Geometry},
We construct families of explicit polynomials f with rational coefficients that are sums of squares of polynomials over the real numbers, but not over the rational numbers. Whether or not such examples exist was an open question originally raised by Sturmfels. We also study representations of f as sums of squares of rational functions with rational coefficients. In the case of ternary quartics, we prove that our counterexamples to Sturmfels' question are the only ones. 
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
It is proved that, actually, certificates of non-negativity modulo gradient ideals can be obtained exactly, over the rationals if the polynomial under consideration has rational coefficients and the authors provide exact algorithms to compute them. Expand
Two remarks on sums of squares with rational coefficients
There exist homogeneous polynomials $f$ with $\mathbb Q$-coefficients that are sums of squares over $\mathbb R$ but not over $\mathbb Q$. The only systematic construction of such polynomials that isExpand
On the bad points of positive semidefinite polynomials
A bad point of a positive semidefinite real polynomial f is a point at which a pole appears in all expressions of f as a sum of squares of rational functions. We show that quartic polynomials inExpand
Rational sums of hermitian squares of free noncommutative polynomials
It is shown that the numerical evidence, obtained by the Gram matrix method and semidefinite programming, can be frequently tweaked to obtain an exact certificate using rational numbers. Expand
Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals
A new algorithm, which works well in “almost all” SOS decomposition cases, is proposed here and the results of randomly generated experiments are reported to compare the proposed algorithm with those based on convex optimization. Expand
Gram Spectrahedra.
Representations of nonnegative polynomials as sums of squares are central to real algebraic geometry and the subject of active research. The sum-of-squares representations of a given polynomial areExpand
Facial reduction for exact polynomial sum of squares decomposition
It is proved that if f is the sum of two squares with coefficients in an algebraic extension of ${\mathbb Q}$ of odd degree, then it can always be decomposed as a rational SOS. Expand
SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
This document describes the freely distributed Maple library spectra, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra, targeted to small-size problems for which symbolic infeasibility or feasibility certificates are required. Expand
A proof of Hilbert's theorem on ternary quartic forms with the ladder technique
This paper proposes a totally constructive approach for the proof of Hilbert's theorem on ternary quartic forms. The main contribution is the ladder technique, with which the Hilbert's theorem isExpand
Exact algorithms for semidefinite programs with degenerate feasible set
This paper designs an exact algorithm based on symbolic homotopy for solving semidefinite programs without assumptions on the feasible set, and it is proved that solving such problems can be done in polynomial time if either n or m is fixed. Expand


Let K be a totally real number field with Galois closure L. We prove that if f ∈ Q(x 1 ,.., x n ] is a sum of m squares in K[x 1 ,.., x n ], then f is a sum of 4m·2 [L:Q]+1 ( [L:Q+1 2 ) squares inExpand
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
We present a hybrid symbolic-numeric algorithm for certifying a polynomial or rational function with rational coefficients to be non-negative for all real values of the variables by computing aExpand
Tight bounds for rational sums of squares over totally real fields
AbstractLet K be a totally real Galois number field. Hillar proved that if f ∈ ℚ[x1, ..., xn] is a sum of m squares in K[x1, ..., xn], then f is a sum of N(m) squares in ℚ[x1, ..., xn], where N(m) ≤Expand
Quadratic and Hermitian Forms
This chapter presents quadratic and hermitian forms. The chapter also presents a theorem which states that the inverse of a nonsingular linear transformation is a nonsingular linear transformation.Expand
Moments, Positive Polynomials And Their Applications
. From a theoretical viewpoint, the GPM has developments and impact in var-ious area of Mathematics like algebra, Fourier analysis, functional analysis, operator theory, probabilityand statistics, toExpand
Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
An algorithm returning a rational point in $\mathcal{S}$ if and only if $S}\cap\mathbb{Q}\neq\emptyset$ requires bit operations and the coefficients of the outputted polynomials have bit length dominated by $\tau D^{O}(k^3)}$. Expand
Convex Optimization
A comprehensive introduction to the subject of convex optimization shows in detail how such problems can be solved numerically with great efficiency. Expand
Handbook on semidefinite, conic and polynomial optimization
Introduction to Semidefinite, Conic and Polynomial Optimization.- The Approach of Moments for Polynomial Equations.- Algebraic Degree in Semidefinite and Polynomial Optimization.- SemidefiniteExpand
Handbook of semidefinite programming : theory, algorithms, and applications
Contributing Authors. List of Figures. List of Tables. Preface. 1. Introduction H. Wolkowicz, et al. Part I: Theory. 2. Convex Analysis on Symmetric Matrices F. Jarre. 3. The Geometry of SemidefiniteExpand
Advances in convex optimization: conic programming
During the last two decades, major developments in convex optimization were focusing on conic programming, primarily, on linear, conic quadratic and semidefinite optimization. Conic programmingExpand