Related papers: Sum of two squares in biquadratic fields

Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,...,x_n]$ is a sum of $m$ squares in $K[x_1,...,x_n]$, then $f$ is a sum of \[4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose…

We study anisotropic universal quadratic forms over semi-global fields; i.e., over one-variable function fields over complete discretely valued fields. In particular, given a semi-global field $F$, we compute both the $m$-invariant of $F$…

The study of the combinatorial diameter of a polyhedron is a classical topic in linear-programming theory due to its close connection with the possibility of a polynomial simplex-method pivot rule. The 2-sum operation is a classical…

We present an algorithm for computing a Smith form with multipliers of a regular matrix polynomial over a field. This algorithm differs from previous ones in that it computes a local Smith form for each irreducible factor in the determinant…

In 1988, Andrews, Dyson and Hickerson initiated the study of q-hypergeometric series whose coefficients are dictated by the arithmetic in real quadratic fields. In this paper, we provide a dozen q-hypergeometric double sums which are…

We introduce a generalization of bivariate Griffiths polynomials depending on an additional parameter $\lambda$. These $\lambda$-Griffiths polynomials are bivariate, bispectral and biorthogonal. For two specific values of the parameter…

By means of $q$-series, we prove that any natural number is a sum of an even square and two triangular numbers, and that each positive integer is a sum of a triangular number plus $x^2+y^2$ for some integers $x$ and $y$ with $x\not\equiv y…

We give an asymptotic formula for the mean value of the number of representations of an integer as sum of two squares known as the Gauss circle problem.

We prove an asymptotic formula for the number of multi-quadratic number fields of bounded discriminant with a power-saving error term. Furthermore, we explicitly calculate the leading coefficient and extend our result to totally real…

We propose an iterative algorithm for the numerical computation of sums of squares of polynomials approximating given data at prescribed interpolation points. The method is based on the definition of a convex functional $G$ arising from the…

We study a finite analog of a conjecture of Erd\"os on the sum of the squared multiplicities of the distances determined by an $n$-element point set. Our result is based on an estimate of the number of hinges in spectral graphs.

We study systems of quadratic forms over fields and their isotropy over 2-extensions. We apply this to obtain particular splitting fields for quaternion algebras defined over a finite field extension. As a consequence, we obtain that every…

In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic…

We investigate a function field analogue of a recent conjecture on autocorrelations of sums of two squares by Freiberg, Kurlberg and Rosenzweig, which generalizes an older conjecture by Connors and Keating. In particular, we provide…

The goal is to obtain an asymptotic formula for the number of quadratic extensions with bounded discriminant of a some quadratic number field with odd class number. This extends an already known result for Q.

Continuing [5], this paper investigates finer points of supertropical vector spaces, including dual bases and bilinear forms, with supertropical versions of standard classical results such as the Gram-Schmidt theorem and Cauchy-Schwarz…

In this paper, we will interest in finding the number of zeros of the quadratic forms over finite fields. We will apply the tool for finding the number of rational points of supersingular curves in [6]. We will give some more tools for…

We present algorithms to evaluate two types of multiple sums, which appear in higher-order loop computations. We consider expansions of a generalized hypergeometric-type sums, $\sum_{n_1,...,n_N} [Gamma(a1.n+c1) Gamma(a2.n}+c2) ...…

Denote the maximum sos rank of $m \times n$ sum of squares (SOS) biquadratic forms by $BSR(m, n)$. In this paper, we show that $BSR(m, n) \ge z(m, n)$ and conjecture that $BSR(m, n) = z(m, n)$, where $z(m, n)$ is the Zarankiewicz number.…

Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether…