cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A252476 Least index k such that n = A252486(k), minimal number of 6th powers that sum to k^6; or a(n)=0 if no such k exists.

Original entry on oeis.org

1141, 251, 54, 39, 18, 17, 16, 14, 4, 13, 11
Offset: 7

Views

Author

M. F. Hasler, Dec 17 2014

Keywords

Comments

It is not known whether a(6)>0.
Further values are a(19)=9, a(21)=7, a(22)=6, a(29)=5, a(36)=3, a(64)=2. The last of these is most probably the last nonzero term of the sequence.

A252487 Smallest k such that n^7 = a_1^7 + ... + a_k^7 and all a_i are positive integers less than n.

Original entry on oeis.org

128, 28, 66, 39, 28, 26, 21, 20, 18, 22, 22, 22, 20, 21, 14, 17, 14, 14, 17, 16, 17, 14, 16, 13, 15, 13, 12, 15, 13, 15, 13, 14, 13, 14, 13, 13, 14, 12, 12, 12, 13, 12, 12, 12, 11, 13, 13, 12, 12, 13, 12, 12, 11, 12, 11, 11, 12, 12, 11, 12, 9, 12, 11, 11, 11
Offset: 2

Views

Author

M. F. Hasler, Dec 17 2014

Keywords

Comments

Inspired by Fermat's Last Theorem: 2 never occurs in this sequence.
No n is known for which a(n)<7, according to the MathWorld page. The values 7, 8, 9, ... occur first at indices 568, 102, 62, ...
I conjecture that the sequence is bounded by the initial term a(2)=128. Probably even a(4)=66, a(5)=39, a(6)=28 and some more are followed only by smaller terms.
I've uploaded two scripts; one to compute the b-file and one to generate an IP file. For the first script, a parameter kmax can be set to gain a speedup but more memory is used. The other one (which also works with large integers now) should be used in case someone has a good IP-solver. Higher terms might be computable faster with a good IP solver. - Manfred Scheucher, Aug 14 2015
From results on Waring's problem, it is known that all a(n) <= A002804(7) = 143, and a(n) <= 33 for all sufficiently large n. - Robert Israel, Aug 16 2015

Crossrefs

Programs

  • Maple
    M:= 10^8:
    R:= Vector(M,144, datatype=integer[4]):
    for p from 1 to floor(M^(1/7)) do
      p7:= p^7;
      if p > 1 then A[p]:= R[p7] fi;
      R[p7]:= 1;
      for j from p7+1 to M do
        R[j]:= min(R[j],1+R[j - p7]);
      od
    od:
    F:= proc(n,k,ub)
       local lb, m, bestyet, res;
       if ub <= 0 then return -1 fi;
       if n <= M then
         if n = 0 then return 0
         elif R[n] > ub then return -1
         else return R[n]
         fi
       fi;
       lb:= floor(n/k^7);
       if lb > ub then return -1 fi;
       bestyet:= ub;
       for m from lb to 0 by -1 do
         res:= procname(n-m*k^7, k-1, bestyet-m);
         if res >= 0 then
           bestyet:= res+m;
         fi
       od:
       return bestyet
    end proc:
    for n from floor(M^(1/7))+1 to 50 do
       A[n]:= F(n^7,n-1,144)
    od:
    seq(A[n],n=2..50); # Robert Israel, Aug 17 2015
  • PARI
    a(n,verbose=0,m=7)={N=n^m;for(k=3,999,forvec(v=vector(k-1,i,[1,n\sqrtn(k+1-i,m)]),ispower(N-sum(i=1,k-1,v[i]^m),m,&K)&&K>0&&!(verbose&&print1("/*"n" "v"*/"))&&return(k),1))}

Extensions

More terms from Manfred Scheucher, Aug 15 2015
a(50)-a(66) from Giovanni Resta, Aug 17 2015

A261572 Minimum k such that k^6 can be expressed as the sum of n positive 6th powers.

Original entry on oeis.org

1141, 251, 54, 39, 18, 17, 16, 14, 4, 10, 11, 12, 9, 10, 7, 6, 8, 8, 9, 10, 10, 7, 5, 8, 8, 9, 9, 10, 7, 3, 8, 8, 9, 9, 10, 7, 5, 8, 8, 9, 9, 10, 7, 4, 8, 8, 9, 9, 10, 7, 4, 8, 8, 9, 9, 10, 7, 2, 8, 8, 9, 9, 10, 7, 5, 8, 8, 9, 9, 10, 7, 4, 8, 8, 9, 9, 10, 7, 4
Offset: 7

Views

Author

Jon E. Schoenfield, Aug 24 2015

Keywords

Comments

It is not known whether there exists a 6th power that can be expressed as the sum of 6 positive 6th powers.

Examples

			a(7) = 1141 because 1141^6 = 1077^6 + 894^6 + 702^6 + 474^6 + 402^6 + 234^6 + 74^6 and no integer smaller than 1141 can be expressed as the sum of 7 positive 6th powers.
		

Crossrefs

Showing 1-3 of 3 results.