# Tag Info

Accepted

### Lagrange four squares theorem

The set $X$ doesn't have to be the set of non-negative integers. This was known already to Härtter and Zöllner in 1977, who constructed an $X$ of the form $\{ 0, 1, 2, \ldots \} \setminus S$ for an ...
• 13.4k
Accepted

• 77.5k
Accepted

### Lagrange four-squares theorem --- deterministic complexity

As far as I know, this is still an open problem. This is discussed in Section $5$ of the paper Finding the four squares in Lagrange's theorem by Pollack and Treviño. They mention that there is a ...
• 31.5k

• 13.4k

### Jacobi's theorem on sums of two squares (reference request)

Using class field theory one can prove for every integer $n>0$ there exists a monic polynomial $f$ of degree $h(-4n)$* such that for any odd integer $m$ coprime to $n$ we have the following ...
• 2,506

### Extension of Dickson's theorem on integers of the form $a^2+b^2+2c^2$

Answer to Question 1. Yes, $E(\mathbb{Z})=F$. The inclusion $F\subseteq E(\mathbb{Z})$ follows from $E\subseteq E(\mathbb{Z})$ and Dickson's result $E=F$. It remains to show $E(\mathbb{Z})\subseteq F$...
• 2,580
Accepted

### Representing $x^3-2$ as a sum of two squares

The answer is similar to one provided here. The approach is elementary and proves stronger fact that it can be expressed as sum of two coprime squares. We consider the product $(n+2)(n^3-2)$ which is ...
• 1,032

### $x^2+7y^2=2^n$ and sums of four squares

The Diophantine equation $x^2 + 7y^2 = 2^n$ is "trivial" in the sense that its solutions can be described in a very simple way (see boxed formula near the end for solutions in odd numbers ...
• 49.6k

### A generalization of partition function to the sums of squares

This asymptotic was stated by Hardy and Ramanujan, but without proof. The first proof of this asymptotic was given by Wright in 1934 [1], by a rather complicated argument. A much simpler approach ...
• 6,608

### For a proof of the three-square theorem without using Dirichlet's theorem on primes in arithmetic progressions

I am not sure if Legendre's proof was complete (see this related MO entry), but surely Gauss gave a proof without Dirichlet's theorem (which came decades later). A nice transparent proof (without ...
• 99.2k

### Is there an upper bound on the number of representations as a sum of squares?

It is known since Gauss that $$r_3(n)=12\dfrac{h(D)}{w(D)/2}(1-(D/2))\sum_{d\mid f}\mu(d)(D/d)\sigma(f/d)\;,$$ where $-n=D(2^vf)^2$, $D$ a fundamental discriminant, $v\ge-1$, $h(D)$ is the class ...
• 11.8k
Accepted

### Jacobi symbols for two-square sums of primes

The first observation follows from the law of quadratic reciprocity. Indeed, assume that $p\equiv 1\pmod{8}$ and $p=A^2+B^2$. Let $A'$ denote the odd part of $A$. Then $p\equiv B^2\pmod{A'}$, and ...
• 99.2k

### Extension of Dickson's theorem on integers of the form $a^2+b^2+2c^2$

given your interest: the list of all $A x^2 + B y^2 + C z^2$ with ordered positive coefficients, such that the represented numbers can be described by congruences Ummm. Allowing mixed terms, all 913 (...
• 25.4k

### Lagrange four squares theorem

I know this question has already been sufficiently answered, but I would like to mention an explicit construction of Choi-Erdős-Nathanson, as opposed to the probabilistic proofs that are common in ...
• 1,533

### Why sum of three squares of real polynomials is a sum of two squares?

Theorem 4.2 from this paper says that in general you will need the coefficients of the two squares to be algebraic numbers of exponential, in $\deg (f^2+g^2+1)$, degrees. More precisely, if the Galois ...
• 13.7k
Accepted

• 13.4k

### Jacobi's theorem on sums of two squares (reference request)

The requested generalization of Jacobi's two-square theorem is a remarkably recent result: N. Bagis and M.L Glasser, On the Number of Representations of Integers by various Quadratic and Higher Forms (...
• 178k
Accepted

### How often is the value of a quadratic polynomial equal to a sum of two integer squares?

This problem has been addressed in a paper of Friedlander and Iwaniec in Acta Mathematica 1978, called Quadratic polynomials and quadratic forms. Under general conditions they count the number of ...
• 43.3k
Accepted

### Infinite sum of Laguerre polynomials: is $\sum_{k=0}^{\infty}\frac{n!}{(k+n)!}x^kL_n^k(x)^2=e^x+P(x)$, with $P$ a polynomial of degree $2n-1$?

Everything becomes simpler if add some parameters and start the sum at $k=-n$ instead of $k=0$. Note that if $k$ is a negative integer with $-n\le k \le -1$ then $L_n^k(x)$ is a polynomial in $x$ ...
• 16.2k
Accepted

### Can a positive polynomial on sphere be represented as the sum of squares of spherical harmonics

This Wikipedia page has many references: https://en.wikipedia.org/wiki/Positive_polynomial, including for example Marshall, Murray Positive polynomials and sums of squares. Mathematical Surveys and ...
• 6,197
Accepted

• 3,177
### Questions on $x^2+y^2+z^2$, $x^2+y^2+2z^2$ and $x^2+2y^2+3z^2$
The answer of Francesco Polizzi recasts the problem into a form in which known results prove at least that there are (at most) a finite number of exceptions. For any positive integer $s$, E. Landau ...