login
A393461
Positions of zeros in A393422.
2
1, 180, 203, 361, 406, 2786, 3357, 5375, 5494, 5573, 5727, 5794, 6493, 6560, 6714, 6793, 6912, 36844, 36848, 38880, 39800, 39853, 39857, 39878, 40298, 40344, 40355, 40508, 40545, 40707, 42750, 42948, 43516, 43868, 43879, 43925, 44251, 44261, 44345, 44366
OFFSET
1,2
COMMENTS
The binary expansions of the terms of the sequence encode zero sums of the form +- 1^2 +- 2^2 +- 3^2 +- 4^2 +- ... +- k^2 for some choice of +- signs.
This sequence is infinite.
k is a term iff A054429(k) is a term.
For any k > 0, there are A158092(k) terms with k+1 binary digits.
LINKS
EXAMPLE
The first terms, alongside the corresponding zero sums, are:
n a(n) Zero sum
- ---- ---------------------------------------------------
1 1 0 (empty sum)
2 180 +1^2+2^2-3^2+4^2-5^2-6^2+7^2
3 203 -1^2-2^2+3^2-4^2+5^2+6^2-7^2
4 361 -1^2+2^2+3^2-4^2+5^2-6^2-7^2+8^2
5 406 +1^2-2^2-3^2+4^2-5^2+6^2+7^2-8^2
6 2786 +1^2-2^2+3^2+4^2+5^2-6^2-7^2-8^2+9^2-10^2+11^2
7 3357 -1^2+2^2-3^2-4^2-5^2+6^2+7^2+8^2-9^2+10^2-11^2
8 5375 -1^2-2^2-3^2-4^2-5^2-6^2-7^2-8^2+9^2+10^2-11^2+12^2
9 5494 +1^2-2^2-3^2+4^2-5^2-6^2-7^2+8^2-9^2+10^2-11^2+12^2
MATHEMATICA
s = {0}; {1}~Join~Flatten@ Reap[Do[s = Join[s + n^2, s - n^2]; Sow[-1 + 2^n + Position[s, 0]], {n, 15}] ][[-1, 1]] (* Michael De Vlieger, Feb 16 2026 *)
PROG
(PARI) { for (n = 1, 44366, if (sum(e = 0, exponent(n)-1, (e+1)^2 * (-1)^bittest(n, e))==0, print1 (n", "); ); ); }
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Rémy Sigrist, Feb 15 2026
STATUS
approved