Related papers: Sum of two squares in biquadratic fields
This paper gives an algorithm to determine whether a number in a cyclic quartic field is a sum of two squares, mainly based on local-global principle of isotropy of quadratic forms.
We use the spectral theory of Hilbert-Maass forms for real quadratic fields to obtain the asymptotics of some sums involving the number of representations as a sum of two squares in the ring of integers.
This paper presents fundamental algorithms for the computational theory of quadratic forms over number fields. In the first part of the paper, we present algorithms for checking if a given non-degenerate quadratic form over a fixed number…
We give a bijective parameter representation for a sum of squares of numbers being equal to another sum of squares of numbers.
We propose a method for determining which integers can be written as a sum of two integral squares for quadratic fields $\Q(\sqrt{\pm p})$, where $p$ is a prime.
This paper presents an adaptation of recently developed algorithms for quadratic forms over number fields in arXiv:1304.0708 to global function fields of odd characteristics. First, we present algorithm for checking if a given…
In this note, we give a necessary and sufficient condition for determining which integers can be written as a sum of two integral squares for certain quadratic fields by using the integral Brauer-manin obstruction (see \cite{CTX}). The…
This paper presents algorithms for computing the length of a sum of squares and a Pythagoras element in a global field $K$ of characteristic different from $2$. In the first part of the paper, we present algorithms for computing the length…
It is well known that every non-degenerate quadratic form admits a decomposition into an orthogonal sum of its anisotropic part and a hyperbolic form. This decomposition is unique up to isometry. In this paper we present an algorithm for…
We use a variation of the Circle Method, along with the Saddle Point Method, to obtain an asymptotic formula for the number of partitions of a number n into integers which are sums of two squares. Unlike previous work on partitions into…
The problem of writing a totally positive element as a sum of squares has a long history in mathematics, going back to Bachet and Lagrange. While for some specific rings (like integers or polynomials over the rationals), there are known…
We consider a generalized Gauss sum supported on matrices over a number field. We evaluate this Gauss sum and relate it to the number of totally isotropic subspaces of related quadratic spaces. Then we consider a further generalization of…
We study SOS properties of biquadratic forms. For the class of partially symmetric biquadratic forms, we establish necessary and sufficient conditions for positive semi-definiteness and prove that every PSD partially symmetric biquadratic…
We complete a classification of quadratic forms over a field of characteristic 2 of type (1,3) that become isotropic over the function field of a quadric.
We classify all totally real number fields of degree at most 5 that admit a universal quadratic form with rational integer coefficients; in fact, there are none over the previously unsolved cases of quartic and quintic fields. This fully…
We provide a geometric interpretation of Brillhart's celebrated algorithm for expressing a prime $p\equiv 1\pmod 4$ as the sum of two squares.
We extend to characteristic two recent results about isotropy of quadratic forms over function fields. In particular, we provide a characterization of function fields not only of quadratic forms but also more generally of polynomials in…
For any given positive integer $m$ we construct certain totally positive algebraic integers $\alpha$ of a real bi-quadratic field $K$ and obtain some necessary conditions for which $m\alpha$ can not be represented as sum of integral…
In this paper, we derive an explicit combinatorial formula for the number of $k$-subset sums of quadratic residues over finite fields.
In this paper, we consider whether existence of a sums-of-squares formula depends on the base field. We reformulate the question of existence as a question in algebraic geometry. We show that, for large enough p, existence of…