cp's OEIS Frontend

A045575 Nonnegative numbers of the form x^y - y^x, for x,y > 1.

%I A045575 #32 Jun 19 2023 07:09:20
%S A045575 0,1,7,17,28,79,118,192,399,431,513,924,1844,1927,2800,3952,6049,7849,
%T A045575 8023,13983,16188,18954,32543,58049,61318,61440,65280,130783,162287,
%U A045575 175816,255583,261820,357857,523927,529713,1038576,1048176
%N A045575 Nonnegative numbers of the form x^y - y^x, for x,y > 1.
%C A045575 Pillai proved that there are ~ 0.5 * (log x)^2/(log log x)^2 terms of this sequence up to x. - _Charles R Greathouse IV_, Jul 20 2017
%C A045575 Conjecture: For d > 11, 10^d - d^10 is the largest (base-ten) d-digit term. - _Hans Havermann_, Jun 12 2023
%D A045575 S. S. Pillai, On the indeterminate equation x^y - y^x = a, Journal Annamalai University 1, Nr. 1, (1932), pp. 59-61. Cited in Waldschmidt 2009.
%H A045575 Charles R Greathouse IV, <a href="/A045575/b045575.txt">Table of n, a(n) for n = 1..10000</a> (first 1000 terms from T. D. Noe)
%H A045575 Michel Waldschmidt, <a href="https://arxiv.org/abs/0908.4031">Perfect Powers: Pillai's works and their developments</a>, arXiv:0908.4031 [math.NT], 2009.
%p A045575 N:= 10^8: # to get all terms <= N
%p A045575 A:= (0,1):
%p A045575 for x from 2 while x^(x+1) - (x+1)^x <= N do
%p A045575    for y from x+1 do
%p A045575       z:= x^y - y^x;
%p A045575       if z > N then break
%p A045575       elif z > 0 then A:=A,z;
%p A045575       fi
%p A045575 od od:
%p A045575 {A}; # _Robert Israel_, Aug 20 2014
%t A045575 Union[Flatten[Table[If[a^b-b^a>-1&&a^b-b^a<10^6*2,a^b-b^a],{a,1,123},{b,a,144}]]] (* _Vladimir Joseph Stephan Orlovsky_, Apr 26 2008 *)
%t A045575 nn=10^50; n=1; Union[Reap[While[n++; k=n+1; num=Abs[n^k-k^n]; num<nn, Sow[num]; While[k++; num=n^k-k^n; num<nn, Sow[num]]]][[2,1]]]
%o A045575 (PARI) list(lim)=my(v=List([0]),t); for(x=2,max(logint(lim\=1,2)+1,6), for(y=2,x-1, t=abs(x^y-y^x); if(t<=lim&&t, listput(v,t)))); Set(v) \\ _Charles R Greathouse IV_, Jul 20 2017
%Y A045575 Cf. A076980.
%K A045575 easy,nonn
%O A045575 1,3
%A A045575 _Erich Friedman_