Related papers: Sums of squares of regular functions on rational s…

We provide an example of a nonnegative $k$-regulous function on $\mathbb{R}^n$ for $k\geq 1$ and $n \geq 2$ which cannot be written as a sum of squares of $k$-regulous functions. We then obtain lower bounds for Pythagoras numbers…

We prove that every sum of squares in the rational function field in two variables $K(X,Y)$ over a hereditarily pythagorean field $K$ is a sum of $8$ squares. More precisely, we show that the Pythagoras number of every finite extension of…

We give upper bounds for the level and the Pythagoras number of function fields over fraction fields of integral Henselian excellent local rings. In particular, we show that the Pythagoras number of $\mathbb{R}((x_1,\dots,x_n))$ is $\leq…

Let X be a finite set of points in R^n. A polynomial p nonnegative on X can be written as a sum of squares of rational functions modulo the vanishing ideal I(X). From the point of view of applications, such as polynomial optimization, we…

We show that the Pythagoras number of rings of type $\mathbb{R}[x,y, \sqrt{f(x,y)}]$ is infinite, provided that the polynomial $f(x,y)$ satisfies some mild conditions.

Let $n\in\mathbb{N}$ and let $K$ be a field with a henselian discrete valuation of rank $n$ with hereditarily euclidean residue field. Let $F/K$ be an algebraic function field in one variable. We show that the Pythagoras number of $F$ is…

We ask whether every polynomial function that is non-negative on a real algebraic curve can be expressed as a sum of squares in the coordinate ring. Scheiderer has classified all irreducible curves for which this is the case. For reducible…

We consider the sum of squares function in the ring $\mathbb{Z}_{n}$. We determine formulae in a number of cases when $n$ is a power of a prime.

We use the circle method to count $\mathbb{F}_q(t)$-rational points of bounded naive height on a quadric hypersurface $X\subseteq \mathbb{P}^{n-1}$ defined over $\mathbb{F}_q$, provided that $\mathrm{char}(\mathbb{F}_q)>2$ and $n\ge 3$.…

Let $X$ be an algebraic variety, defined over the rationals. This paper gives upper bounds for the number of rational points on $X$, with height at most $B$, for the case in which $X$ is a curve or a surface. In the latter case one excludes…

We consider surfaces $X$ defined by plane divisorial valuations $\nu$ of the quotient field of the local ring $R$ at a closed point $p$ of the projective plane $\mathbb{P}^2$ over an arbitrary algebraically closed field $k$ and centered at…

Let X be a projective cubic hypersurface of dimension 11 or more, which is defined over the rationals. In this paper it is shown that X contains rational points provided that the cubic form defining X can be written as the sum of two forms…

We present an example of a strictly positive polynomial with rational coefficients that can be decomposed as a sum of squares of polynomials over $\R$ but not over $\Q$. This answers an open question by C. Scheiderer posed as the second…

For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.

In this article, we prove that any complex smooth rational surface $X$ which has no automorphism of positive entropy has a finite number of real forms (this is especially the case if $X$ cannot be obtained by blowing up $\mathbb…

The paper proves sum-of-square-of-rational-function based representations (shortly, sosrf-based representations) of polynomial matrices that are positive semidefinite on some special sets: $\mathbb{R}^n;$ $\mathbb{R}$ and its intervals…

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…

We show that any sum of squares in a field of transcendence degree $1$ over $\mathbb{Q}$ is a sum of $5$ squares, answering a question of Pop and Pfister. We deduce this result from a representation theorem, in $k(C)$, for quadratic forms…

Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of…

Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commutative semiring R. The operations on R can be naturally…