OFFSET
0,2
COMMENTS
Conjecture 1: a(n) > 0 for all n >= 0, and a(n) = 1 only for n = 0, 2^(4*k+3) (k = 0,1,2,...).
This has been verified for all n <= 10^5.
Conjecture 2: Each n = 0,1,2,... can be written as a*x^4 + b*y^2 + (c*z^4 + w^2)/5 with x,y,z,w nonnegative integers, provided that (a,b,c) is among the four triples (1,2,4), (2,1,1), (6,1,1), (6,1,6).
See also A349942 for a similar conjecture.
Via a computer search, we have found many tuples (a,b,c,d,m) of positive integers (such as (1,1,4,2,3), (4,1,1,2,3) and (1,1,19,1,4900)) for which we guess that each n = 0,1,2,... can be written as a*x^4 + b*y^2 + (c*z^4 + d*w^2)/m with x,y,z,w nonnegative integers.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..10000
Zhi-Wei Sun, Refining Lagrange's four-square theorem, J. Number Theory 175(2017), 167--190.
Zhi-Wei Sun, New Conjectures in Number Theory and Combinatorics (in Chinese), Harbin Institute of Technology Press, 2021.
EXAMPLE
a(8) = 1 with 8 = 0^4 + 2^2 + (2^4 + 2^2)/5.
MATHEMATICA
SQ[n_]:=SQ[n]=IntegerQ[Sqrt[n]];
tab={}; Do[r=0; Do[If[SQ[5(n-x^4-y^2)-z^4], r=r+1], {x, 0, n^(1/4)}, {y, 0, Sqrt[n-x^4]}, {z, 0, (5(n-x^4-y^2))^(1/4)}]; tab=Append[tab, r], {n, 0, 100}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Dec 06 2021
STATUS
approved