Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Fix an integer $k >0 $ and would like to know the maximum number of different ways that a number $n$ can be expressed as a sum of $k$ squares, i.e. the number of integer solutions to $$ n = x_1^2 + x_2^2 + \dots + x_k^2$$ with $x_1 \ge x_2 \ge \dots \ge x_k$ and $x_i \ge 0$ for every $i$.

What I'd really like to know about is the asymptotics as $n \to \infty$.

I asked a number theorist once about the case $k=2$, and if I remember correctly, he said that there are numbers $n$ which can be expressed as a sum of two squares in at least $$n^{c/\log \log n}$$ different ways, for some constant $c > 0$, and this is more-or-less best possible. This is the kind of answer I am seeking for larger $k$.


What I mean by maximum is the following. I want functions $f_k(x)$, as large as possible, such that there exists some sequence of integers $\{ a_i \}$ with $a_i \to \infty$, and such that $a_i$ can be written as the sum of $k$ squares in at least $f_k(a_i)$ ways.

share|cite|improve this question
There are at most $n$ different ways to write $n$ as a sum of two positive integers so I'm not sure I understand the $n^{1+c/\log\log n}$. Also note that if $k < 4$, the can be number that are not expressible as a sum of $k$ square. – Joel Cohen Oct 13 '11 at 19:42
Thanks --- I meant $n^{c / \log \log n}$. – Matthew Kahle Oct 13 '11 at 19:46
up vote 5 down vote accepted

This is an example of "Waring's problem" - expressing integers as the sum of $k$ $p$th powers of integers. In the case of squares, when $k\ge5$ the asymptotics of the number of representations (as a function of $n$) have been known for some time (I believe Hua proved this in the 1930s). When $k\ge5$, the number of ways to write $n$ as the sum of $k$ squares of positive integers is asymptotic to $$ \frac{\Gamma(3/2)^k}{\Gamma(k/2)}n^{k/2-1} S(n), $$ where $\Gamma$ is the Gamma function that interpolates the values of factorials, and $S(n) = S_k(n)$ is the "singular series" that depends upon $n$ but is bounded above and below.

One can find expositions of Waring's problem and the "circle method" (aimed at many different levels) in various places on the web, such as here and here.

share|cite|improve this answer

The leading term of the asymptotics will be $r_k(n)/k!$ where $r_k(n)$ is the unconstrained number of representations of $n$ as a sum of squares of $k$ integers. For specific $k$ such as 4 or 8 there are classical formulas as sums of arithmetic functions (proofs use modular forms). For fixed $k>4$ the leading term is on average equal to $An^b$ with $A$ and $b$ calculable from volumes of spheres, but as explained in the answer by Greg Martin, the "constant" $A$ is in fact a quasiperiodic function of $n$, the singular series (the product of p-adic densities of solutions to the equation).

share|cite|improve this answer

This is not an answer to your question. But here's some things I vaguely know.

The introduction of Ila Varma's master thesis

written under the supervision of Bas Edixhoven might have some things relevant to what you need. As she says in the introduction, there are closed formulas for even integers $n\geq 12$. She proves that there aren't any formulas for $n > 12$. (This has to do with cusp forms.)

Anyway, there aren't formulas, but there ARE polynomial algorithms. See this paper by P. Bruin.

You might want to look at the end of the introduction to his article right after Remark 1.6.

At the end of his article he shows that it's possible to compute these numbers in polynomial time.

share|cite|improve this answer

Well, unless I missunderstood the problem, it is enough to solve it for $k=2$.

Indeed, if $n$ can be written as $x_1^2+x_2^2$ in $m$ different ways, then

$$n+(k-2)= x_1^2+x_2^2 +1+1+..+1 \,.$$

Solution for $k=2$

Fix an $m$. We will produce infinitelly many $n$ which can be written as a sum of 2 squares in $m$ ways:

Let $a_i^2+b_i^2=c_i^2$ forall $1 \leq i \leq m$. It is easy to produce such triplets with all the numbers to be distinct. Let $n=c_1^2c_2^2...c_m^2$.


$$n=(a_1^2+b_1^2)c_2^2...c_m^2=c_1^2(a_2^2+b_2^2)c_3^2...c_m^2=.....=c_1^2c_2^2...c_{m-1}^2(a_m^2+b_m^2) \,.$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.