login
A064873
First of four sequences representing the lexicographical minimal decomposition of n in 4 squares: n = a(n)^2 + A064874(n)^2 + A064875(n)^2 + A064876(n)^2.
6
0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0
OFFSET
0,113
COMMENTS
For n<112: a(n)=A072401(n), but A072401(112) = 1<>a(112)=2, as also A072401(112 - 1) = 1.
a(n) is the minimum k such that A072401(n - k^2) = 0. - Zhuorui He, Oct 23 2025
FORMULA
A072401(n) = A057427(a(n)).
Conjecture: a(n) = A064874(n - A064874(n)^2). - Zhuorui He, Oct 23 2025
EXAMPLE
a(25) = 0: 25 = a(25)^2 + A064874(25)^2 + A064875(25)^2 + A064876(25)^2 = 0 + 0 + 0 + 25 and the other decompositions (0, 0, 3, 4) and (1, 2, 2, 4) are greater than (0, 0, 0, 5).
PROG
(PARI) \\ Using Amiram Eldar's definition for A072401
A064873(n) = {my(k = 0); while(A072401(n - k^2), k += 1); k} \\ Zhuorui He, Oct 23 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Reinhard Zumkeller, Oct 10 2001
STATUS
approved