---
title: Quadratic Waring's Problem
url: https://www.emergentmind.com/topics/quadratic-waring-s-problem
type: topic
---

# Quadratic Waring's Problem

Quadratic Waring’s problem denotes a family of representation problems centered on quadratic expressions. In its classical additive form, one asks for the least number of squares needed so that every sufficiently large integer is representable as a sum of that many integer squares. In arithmetic theory of quadratic forms, the phrase usually refers to a higher-dimensional analogue: given an integral quadratic form in \(n\) variables that is already known to be a sum of squares of integral linear forms, determine a uniform bound on how many such squares are actually necessary. Modern work extends this perspective to Hermitian forms over imaginary quadratic fields, quadratic forms over totally real number fields, congruence-constrained representations by odd squares, density versions over cyclic groups and primes, and related function-field and tensor-decomposition settings [1702.08854][2007.06454][1901.05142][2508.14939].

## 1. Core formulations and invariants

The classical quadratic Waring problem over \(\mathbb Z\) asks, for fixed \(s\), whether every sufficiently large integer \(y\) can be written as
\[
y=x_1^2+\cdots+x_s^2,\qquad x_i\in\mathbb Z.
\]
Lagrange’s theorem settles the extremal case \(s=4\): every nonnegative integer is a sum of four squares [2508.14939].

The higher-dimensional form-theoretic version replaces integers by quadratic forms. For a commutative ring \(R\), an \(r\)-ary quadratic form \(q\in R[X_1,\dots,X_r]\) is called admissible if it is represented by a sum of squares of linear forms,
\[
q(X)=L_1(X)^2+\cdots+L_N(X)^2
\]
for some \(N\). Writing \(E_R(r)\) for the set of such forms, the invariant \(g_R(r)\) is the minimal \(n\) such that every \(q\in E_R(r)\) is already a sum of \(n\) squares of linear forms [2112.15243].

For the integral case \(R=\mathbb Z\), one may equivalently define \(g_{\mathbb Z}(n)\) as the smallest \(g\in\mathbb N\) such that every positive-definite integral quadratic form in \(n\) variables, once known to be represented by some sum of squares of integral linear forms, is represented by the standard sum-of-\(g\)-squares form
\[
I_g=x_1^2+\cdots+x_g^2
\]
[1702.08854].

The number-field and Hermitian variants replace \(\mathbb Z\) by rings of integers. If \(K\) is totally real with ring of integers \(\mathcal O\), then \(g_{\mathcal O}(n)\) is the smallest integer \(g\) such that every sum of squares of \(n\)-ary \(\mathcal O\)-linear forms is itself a sum of \(g\) such squares [2007.06454]. If \(E\) is an imaginary quadratic field of class number one with ring of integers \(\mathcal O\), then \(g_{\mathcal O}^*(n)\) is defined analogously for positive-definite integral Hermitian forms represented by a sum of norms
\[
I_g(x)=|x_1|^2+\cdots+|x_g|^2
\]
[1702.08854].

A related lattice-theoretic refinement is the invariant \(G_R(r)\), defined as the least \(n\) such that the standard lattice \(I_n\) represents every \(r\)-ary quadratic lattice \(L\) over \(R\) with \(L\to I_N\) for some \(N\). One has
\[
g_R(r)\le G_R(r)\le g_R(r+1)
\]
[2112.15243].

| Invariant | Setting | Meaning |
|---|---|---|
| \(g_{\mathbb Z}(n)\) | Integral quadratic forms | Uniform square-count for \(n\)-ary forms representable by sums of squares |
| \(g_{\mathcal O}(n)\) | Totally real number fields | Same problem over \(\mathcal O\) |
| \(g_{\mathcal O}^*(n)\) | Hermitian forms over imaginary quadratic fields | Uniform norm-count |
| \(G_R(r)\) | Quadratic lattices | Lattice version of the representation invariant |
| \(g_\Delta(n)\) | Complete quadratic polynomials | Uniform odd-square count under congruence conditions |

At \(r=1\), \(g_R(1)\) is the usual Pythagoras number \(P(R)\), the smallest number of squares needed to represent every sum of squares in \(R\) [2112.15243].

## 2. Sub-exponential bounds for quadratic-form invariants

The central asymptotic development in the arithmetic theory is the replacement of exponential-in-\(n\) bounds by exponential-in-\(\sqrt n\) bounds. For \(E=\mathbb Q\) or an imaginary quadratic field of class number one with ring of integers \(\mathcal O\), define the Euclidean minimum
\[
B_E:=\sup_{x\in E}\inf_{c\in\mathcal O}|N_{E/\mathbb Q}(x-c)|^{1/[E:\mathbb Q]},
\]
and
\[
k_E=(4+4\sqrt2)\sqrt{B_E}.
\]
Then for every \(\varepsilon>0\),
\[
g_{\mathcal O}^*(n)=O\!\left(\exp((k_E+\varepsilon)\sqrt n)\right),\qquad n\to\infty.
\]
In particular, for \(E=\mathbb Q\) one has \(B_{\mathbb Q}=1\) and
\[
g_{\mathbb Z}(n)=O\!\left(\exp((4+2\sqrt2+\varepsilon)\sqrt n)\right)
\]
[1702.08854].

This improves earlier bounds of Conway–Sloane and Kim–Oh of the form
\[
g_{\mathbb Z}(n)=O(\exp(Cn)),
\]
with Kim–Oh obtaining roughly \(O(3^{n/2}\,n\log n)\) [1702.08854]. The improvement is asymptotically substantial: the governing scale drops from \(n\) in the exponent to \(\sqrt n\).

The totally real number-field version was established by extending HKZ reduction from \(\mathbb Q\) to totally real fields. If \(K\) is totally real of class number \(1\) with ring of integers \(\mathcal O\), then there exist constants \(D>0\) and \(C(K)>0\), depending only on \(K\), such that
\[
g_{\mathcal O}(n)\le D\exp(C(K)\sqrt n)
\]
for all \(n\ge1\) [2007.06454]. This is the first sub-exponential upper bound for \(g_{\mathcal O}(n)\) when \(\mathcal O\ne\mathbb Z\) [2007.06454].

A further extension removes the class-number-one restriction. For a totally real number field \(K\) of degree \(d=[K:\mathbb Q]\),
\[
g_{\mathcal O_K}(r)\le g_{\mathbb Z}(dr),
\]
and more generally for any subfield \(F\subset K\),
\[
g_{\mathcal O_K}(r)\le g_{\mathcal O_F}([K:F]r+1).
\]
Consequently,
\[
g_{\mathcal O_K}(r)=O\!\left(e^{(4+2\sqrt2+\varepsilon)\sqrt{dr}}\right),
\]
and for each \(\varepsilon>0\) there is \(C=C(K,\varepsilon)\) such that
\[
g_{\mathcal O_K}(r)\le C\,e^{(4+2\sqrt2+\varepsilon)\sqrt r}
\]
[2112.15243].

The exact growth remains unknown. Mordell’s original analogy suggests a linear law \(g(n)=n+3\), but already \(g_{\mathbb Z}(6)=10>9\); current lower bounds are essentially linear in \(n\), whereas the best known upper bounds are \(\exp(O(\sqrt n))\) [2007.06454].

## 3. Reduction theory and proof architecture

The modern upper bounds rely on a reduction-theoretic framework built around balanced HKZ reduction. In the Hermitian and integral setting, a positive-definite form \(f\) in \(n\) variables can be integrally transformed into a balanced HKZ-reduced form whose Gram matrix factors as
\[
M=X^*HX,
\]
where \(H=\operatorname{diag}(h_1,\dots,h_n)\) and \(X\in GL_n\) has both \(X\) and \(X^{-1}\) with entries bounded by \(O(\exp(c\sqrt n))\); in addition the diagonal coefficients satisfy
\[
h_i h_j^{-1}\le \exp(O(\sqrt n))
\]
[1702.08854].

Over a totally real field \(K\), the corresponding statement writes the Gram matrix as
\[
Q=U^THU,
\]
with \(U\) upper-triangular unipotent, \(H=\operatorname{diag}(h_1,\dots,h_n)\), and \(h_1=\min(Q)\). Balanced HKZ reduction provides a nondecreasing function \(a(m)=O(e^{\sqrt m})\), a function \(c(m)=O(e^{C\sqrt m})\), and a constant \(A\) depending only on \(K\) such that for \(1\le i<j\le n\) and every infinite place \(v\),
\[
N_{K/\mathbb Q}(h_i)\le a(j-i)\,N_{K/\mathbb Q}(h_j),\qquad h_i^{(v)}\le A\,h_i^{(w)},
\]
and
\[
|u_{ij}|_v<c(j-i),\qquad |(U^{-1})_{ij}|_v<c(j-i)
\]
[2007.06454].

These inequalities control the successive minima and support a decomposition of the form
\[
M=A+S+P^*P
\]
or
\[
Q(x)=P(x)^TP(x)+A(x)+S(x),
\]
where \(A\) is diagonal and chosen as large as possible while preserving positive semidefiniteness, \(P^*P\) is manifestly a sum of squares, and \(S\) is a small symmetric error term whose off-diagonal entries satisfy bounds of the shape
\[
|S_{ij}|_v<\varepsilon\sqrt{a_i a_j}
\]
with \(\varepsilon\ll1\) [1702.08854][2007.06454].

Two mechanisms then complete the argument. First, a lattice-neighbor argument generalizing Kneser–Schiemann shows that \(A+S\) is represented by a controlled number of squares; in the totally real case, a technical lemma yields representation by
\[
M=n+n(n-1)(d+5)
\]
squares when the diagonal entries are sufficiently large [2007.06454]. Second, an induction on minima or on rank removes the large-minimum assumption. In the Hermitian setting this gives
\[
g_{\mathcal O}^*(n)\le g_{\mathcal O}^*(n-1)+O(n^2),
\]
while in the totally real case one obtains a recursion
\[
g_{\mathcal O}(n)\le g_{\mathcal O}(n-1)+\bigl\lfloor D'e^{C'\sqrt n}\bigr\rfloor
\]
[1702.08854][2007.06454].

A distinct but complementary technique appears in the extension-of-scalars approach. If an order \(O\) has degree \(d\) over \(\mathbb Z\), then representing an \(r\)-ary form over \(O\) by \(I_N\) produces an associated \(\mathbb Z\)-submodule of rank at most \(dr\), leading to
\[
g_O(r)\le g_{\mathbb Z}(dr).
\]
The lattice version satisfies
\[
G_O(r)\le G_{O_F}(dr)
\]
for \(O\) an \(O_F\)-module of rank \(d\), and this bypasses any class-number-one hypothesis [2112.15243].

## 4. Lattice invariants and congruence-constrained variants

The lattice invariant \(G_R(r)\) makes it possible to ask for uniform representation of all \(r\)-ary quadratic lattices that already embed into some \(I_N\). This formulation is especially effective over totally real number fields. One application determines \(G(2)\) for almost all real quadratic fields: if \(F=\mathbb Q(\sqrt n)\) is not one of \(\mathbb Q(\sqrt2)\), \(\mathbb Q(\sqrt3)\), or \(\mathbb Q(\sqrt{15})\), then
\[
G_{\mathcal O_F}(2)=7.
\]
For the exceptional fields, known or expected values are
\[
G_{\mathbb Q(\sqrt{15})}(2)=5,\qquad G_{\mathbb Q(\sqrt2)}(2)=3,
\]
while for \(\mathbb Q(\sqrt3)\) one expects \(G(2)=6\), pending a suitable local–global principle for integral binary forms [2112.15243].

A separate variant imposes congruence conditions on the summands. Let
\[
A_r(y_1,\dots,y_r)=\sum_{i=1}^r(2y_i+1)^2,
\]
and let
\[
f(x)=Q(x)+2B(x,w_f)+Q(w_f)
\]
be a complete quadratic polynomial. Writing \(\mathcal F_n\) for the set of such \(n\)-variable polynomials representable by some \(A_r\), define
\[
r(f)=\min\{\,r\in\mathbb N:\ f(x)=A_r(xT+c)\ \text{for some}\ T\in M_{n\times r}(\mathbb Z),\ c\in\mathbb Z^r\},
\]
and then
\[
g_\Delta(n)=\max_{f\in\mathcal F_n} r(f).
\]
Thus \(g_\Delta(n)\) is the least \(g\) such that every representable complete quadratic polynomial in \(n\) variables is representable by at most \(g\) odd squares [1901.05142].

This invariant has the same qualitative asymptotic growth as the classical quadratic-form invariant:
\[
g_\Delta(n)=\exp(O(\sqrt n)).
\]
More explicitly, the paper obtains
\[
g_\Delta(n)\le 144\,D^6\,n^{13}\exp\!\bigl((4+4\sqrt2)\sqrt n+4(\ln(n+1))^2\bigr)=O(e^{D\sqrt n})
\]
[1901.05142].

The small-rank values are exact:
\[
g_\Delta(1)=10,\qquad g_\Delta(2)=12,\qquad g_\Delta(3)=13,\qquad g_\Delta(4)=14,
\]
so \(g_\Delta(n)=n+9\) for \(1\le n\le4\) [1901.05142]. These differ sharply from the classical integral invariant, for which \(g(n)=n+3\) is known for \(1\le n\le5\), and \(g(6)=10\) [1901.05142].

## 5. Additive, density, and prime-square forms

In additive combinatorics, the “density version” of the quadratic Waring problem asks when a dense subset of the quadratic residues mod \(N\) remains additively universal. If
\[
S_N=\{x^2\bmod N:\ x\in\mathbb Z/N\mathbb Z\},
\]
and \(A\subseteq S_N\) has relative density \(\delta_N(A)=|A|/|S_N|\), then \(A\) is called \(s\)-representable mod \(N\) if every residue class is a sum of \(s\) elements of \(A\). For \(s\ge5\) and \(\theta\in(1/s,1]\), there exists \(M=M(s,\theta)\) such that whenever
\[
N=\prod_i p_i^{n_i}\quad\text{with each }p_i\ge M
\]
and \(A\subseteq S_N\) satisfies \(|A|\ge \theta |S_N|\), the set \(A\) is \(s\)-representable mod \(N\). Moreover, for every \(y\in\mathbb Z/N\mathbb Z\),
\[
\big|\{(x_1,\dots,x_s)\in A^s:\ x_1+\cdots+x_s\equiv y\}\big|\ge c(s,\theta)\,N^{-1}|S_N|^s.
\]
The threshold \(1/s\) is sharp: for every \(\tau<1/s\) and all sufficiently large primes \(p\), there exists \(A\subseteq S_p\) with \(|A|\ge \tau|S_p|\) but \(s\cdot A\ne \mathbb Z/p\mathbb Z\) [2508.14939].

The corresponding quadratic Waring–Goldbach density problem replaces squares by squares of primes. For \(s\ge5\), define
\[
D_s=\begin{cases}
\tfrac{59}{60},&s=5,\\
\tfrac78,&s=6,\\
\tfrac34,&s=7,\\
\tfrac{s+13}{4s},&8\le s\le12,\\
\tfrac12,&s\ge13.
\end{cases}
\]
If \(A\subseteq\) primes has lower relative density
\[
\delta_{\mathcal P}(A)=\liminf_{X\to\infty}\frac{|A\cap[X]|}{|\mathcal P\cap[X]|}>\sqrt{D_s},
\]
then every sufficiently large integer \(y\equiv s\pmod{24}\) is representable as
\[
y=p_1^2+\cdots+p_s^2,\qquad p_i\in A.
\]
For example, when \(s=8\), the threshold is \(\sqrt{21/32}\approx0.8101\), improving the previous \(\sqrt{3/4}\approx0.8660\) [2508.14939].

A more specialized recent development concerns Piatetski–Shapiro primes. For any \(\gamma_1,\dots,\gamma_5\in(28/29,1)\), every sufficiently large integer \(n\equiv5\pmod{24}\) can be written as
\[
n=p_1^2+p_2^2+p_3^2+p_4^2+p_5^2
\]
with each
\[
p_i=\lfloor m_i^{1/\gamma_i}\rfloor
\]
for some \(m_i\in\mathbb N^+\). The proof uses a transference principle rather than a full Hardy–Littlewood asymptotic formula, and concludes existence of at least one representation for all large admissible \(n\) [2603.00660].

These density and prime-square formulations are not identical to the invariant \(g_{\mathbb Z}(n)\), but they share the same structural theme: one seeks uniform representation from a prescribed quadratic family under quantitative sparsity or density constraints.

## 6. Other settings and current directions

The quadratic Waring problem also appears over function fields. For \(\mathbb F_q[t]\) with \(\operatorname{char}(\mathbb F_q)=p\ne2\), define \(r_s(f)\) as the number of representations
\[
x_1^2+\cdots+x_s^2=f
\]
with each \(x_i\) of degree \(<X(f)\). Then for all \(s\ge5\),
\[
r_s(f)=\mathfrak S_s(f)\,J_s(f)\,q^{(s-2)P_2(f)}+O\!\bigl(q^{(s-2-\varepsilon)P_2(f)}\bigr)
\]
uniformly for all large admissible \(f\), and consequently
\[
\widetilde G_q(2)=5.
\]
In this quadratic case the minor-arc set is empty, so the full circle-method analysis is major-arc in nature [1509.01535].

A different terminological branch belongs to algebraic geometry and symmetric tensor rank. There one studies Waring decompositions of powers of a quadratic form
\[
Q(x)=x_1^2+\cdots+x_n^2,\qquad Q^s=\sum_{i=1}^r (a_i\cdot x)^{2s}.
\]
The apolar ideal satisfies
\[
\operatorname{Ann}(Q^s)=(H_{n,s+1}),
\]
where \(H_{n,s+1}\) is the space of harmonic polynomials of degree \(s+1\), and the rank obeys
\[
\operatorname{rk}(Q^s)\ge T_{n,s}=\binom{s+n-1}{s}.
\]
For \(s=2\),
\[
\operatorname{rk}(Q^2)=\frac{n^2+n+2}{2}
\]
except in the tight cases \(n=3,7,23\); for \(n=2\), \(\operatorname{rk}(Q_2^s)=s+1\); and for \(n=3\), the minimal ranks are \(6\), \(11\), and \(16\) for \(s=2,3,4\), respectively [2411.03161]. This is a distinct problem from the arithmetic theory of integral quadratic forms, although the shared vocabulary reflects a common concern with decomposing quadratic objects into powers of linear ones.

Several open problems remain central. The exact asymptotic growth of \(g_{\mathbb Z}(n)\) and \(g_{\mathcal O}(n)\) is unknown; the existing gap between essentially linear lower bounds and \(\exp(O(\sqrt n))\) upper bounds remains wide [2007.06454]. Over totally real fields, further refinement of balanced HKZ bounds could lower the constants in the exponent, and extensions to rings of higher class number or to Hermitian forms over CM fields remain natural targets [2007.06454]. In the congruence-constrained setting, \(g_\Delta(5)\) is still unresolved, with the available evidence leaving \(15\) or \(16\) as plausible values [1901.05142]. For the Piatetski–Shapiro prime-square problem, an asymptotic formula with singular series and power-saving error remains open by current methods [2603.00660].

Source: https://www.emergentmind.com/topics/quadratic-waring-s-problem