A147641 -id:A147641 - cp's OEIS frontend

A147643 Numbers A associated with the records of the merit function of the ABC conjecture admitting only C which are powers of 23.

7, 17, 162, 2

Offset: 1

Artur Jasinski, Nov 09 2008

If records of the ABC merit function are listed scanning only parameters C of the form 23^x as described in A147642, a(n) is the value of A associated with B=A147641(n) and C=A147642(n).

OEIS Index entries for sequences related to the abc conjecture.

Cf. A085152, A085153, A147298-A147307, A147638-A147642.

a(n) = A147642(n)-A147641(n).

Edited by M. F. Hasler, Jan 16 2015

A147642 Numbers C which generate successive records of the merit function of the ABC conjecture admitting only C which are powers of 23.

Original entry on oeis.org

23, 529, 12167, 6436343

Offset: 1

Artur Jasinski, Nov 09 2008

In a variant of the ABC conjecture (see A120498) we look at triples (A,B,C) restricted to A+B=C, gcd(A,B)=1, and at the merit function L(A,B,C)=log(C)/log(rad(A*B*C)), where rad() is the squarefree kernel A007947, as usual. Watching for records in L() as C runs through the integers generates A147302. In this sequence here, we admit only the C of the form 23^x, see A009967, which avoids some early larger records that would be created by unrestricted C, and leads to a slower increase of the L-values.

For associated B for this case see A147641, for associated A see A147643.

			C= 23 is the first candidate (and therefore by definition a record). Scanning the pairs (A,B) for this C we have L-values of L(1,22,23) = 0.5035, L(2,21,23) = 0.456, ... L(6,17,23) = 0.404, L(7,16,23) = 0.542 ,... L(11,12,23) = 0.428. The largest L-value stems from (A=7,B=16) which means the representative triple of the first record is (A,B,C) = (7,16,23).
C= 23^2= 529 is the next candidate. Scanning again all (A,B) values subject to the constraints we achieve L(17,512,529) = 0.941... (Smaller ones like L(81,448,529) = 0.9123... are discarded). Since the L-value for C=529 is larger than the L-value for C=23, the next record is C=529 with representatives (A,B,C)= (17,512,529).
The third candidate is C= 23^3= 12167. This generates a maximum of L(162,12005,12167) = 1.1089... (smaller values like L(17,12150,12167) = 1.0039.. discarded) which is again larger than the maximum of the previous record (which was 0.941..) So the C-value of 12167 is again a record-holder.

OEIS Index entries for sequences related to the abc conjecture.

Cf. A085152, A085153, A147298 - A147307, A147638 - A147643.

A179017 Odd numbers c such that c*(c^2 - 1)/4 is squarefree.

Original entry on oeis.org

3, 5, 11, 13, 21, 29, 43, 59, 61, 67, 69, 77, 83, 85, 93, 115, 123, 131, 133, 139, 141, 155, 157, 165, 173, 187, 203, 205, 211, 213, 219, 221, 227, 229, 237, 259, 267, 277, 283, 285, 291, 309, 317, 331, 347, 355, 357, 365, 371, 373, 381, 389, 403, 411, 419, 421

Offset: 1

Artur Jasinski, Jun 24 2010

nonn

Original title was: "Numbers c such that (c^2-1)c is square free and gcd(c-1,c,c+1)=1", but (c^2-1)c is never squarefree for odd c, and gcd(n,n+1) is always = 1. - M. F. Hasler, Nov 03 2013
These numbers c with distribution a+b=c such that a=(c-1)/2 (see A172186) and b=(c+1)/2 (see A179019) have minimal possible values with function L(a,b,c) = log(c)/log(N(a,b,c)) = log(c)/log((c^2-1)c/4).
This function is minimal orbital in hypothesis (a,b,c).
There are no numbers or distributions which have value L less than log(c)/log((c^2-1)*c/4).
Equivalently, odd squarefree numbers c such that (c^2 - 1)/4 is also squarefree. - Jon E. Schoenfield, Feb 13 2023
The asymptotic density of this sequence is Product_{p prime} (1 - 3/p^2) = A206256 = 0.125486980905... (Tsang, 1985). - Amiram Eldar, Feb 26 2024

Charles R Greathouse IV, Table of n, a(n) for n = 1..10000
Kai-Man Tsang, The distribution of r-tuples of square-free numbers, Mathematika, Vol. 32, No. 2 (1985), pp. 265-275.

Cf. A172120, A172121, A147298, A147299, A147300, A147301, A147302, A147306, A147307, A147638, A147639, A147640, A147641, A147642, A147643, A143700, A172186, A179019, A206256.

aa = {}; Do[If[(GCD[x, (x - 1)/2] == 1) && (GCD[x, (x + 1)/2] == 1) && (GCD[(x - 1)/2, (x + 1)/2] == 1), If[SquareFreeQ[(x^2 - 1) x/4], AppendTo[aa, x]]], {x, 2, 1000}]; aa

forstep(n=3,421,2,issquarefree(n*(n^2-1)/4)&&print1(n",")) \\ M. F. Hasler, Nov 03 2013

is(n)=n%2 && issquarefree(n) && issquarefree(n^2\4) \\ Charles R Greathouse IV, Mar 11 2014

a(n) = 2*A172186(n) + 1. - Bernard Schott, Mar 06 2023

Edited by M. F. Hasler, Nov 03 2013

A179019 a(n) = (A179017(n)+1)/2.

Original entry on oeis.org

2, 3, 6, 7, 11, 15, 22, 30, 31, 34, 35, 39, 42, 43, 47, 58, 62, 66, 67, 70, 71, 78, 79, 83, 87, 94, 102, 103, 106, 107, 110, 111, 114, 115, 119, 130, 134, 139, 142, 143, 146, 155, 159, 166, 174, 178, 179, 183, 186, 187, 191, 195, 202, 206, 210, 211, 214, 215, 218, 219

Offset: 1

Artur Jasinski, Jun 24 2010

nonn

For numbers a and c, see A172186 and A179017. Numbers b are this sequence.
These numbers c, with distribution a+b=c such that a=(c-1)/2 and b=(c+1)/2, have minimal possible values with function L(a,b,c) = log(c)/log(N[a,b,c]) = log(c)/log((c^2-1)c/4).
There exist no numbers or distributions for which L < log(c)/log((c^2-1)c/4). - Artur Jasinski

Amiram Eldar, Table of n, a(n) for n = 1..10000

Cf. A172120, A172121, A147298, A147299, A147300, A147301, A147302, A147306, A147307, A147638, A147639, A147640, A147641, A147642, A147643, A143700, A179017, A172186.

aa = {}; Do[If[(GCD[x, (x - 1)/2] == 1) && (GCD[x, (x + 1)/2] == 1) && (GCD[(x - 1)/2, (x + 1)/2] == 1), If[SquareFreeQ[(x^2 - 1) x/4], AppendTo[aa, (x + 1)/2]]], {x, 2, 1000}]; aa

a(n) = A179017(n) - A172186(n). - Hugo Pfoertner, Mar 22 2020

A143701 a(n) is the least odd number 2^n - m minimizing A007947(m*(2^n - m)).

Original entry on oeis.org

1, 3, 7, 15, 27, 63, 125, 243, 343, 999, 1805, 3721, 8181, 16335, 32761, 65533, 112847, 190269, 519375, 1046875, 1953125, 4192479, 8385125, 16775019, 24398405, 66976875, 134216625

Offset: 1

Artur Jasinski, Nov 10 2008

a(n) is the smallest odd number such that the product of distinct prime divisors of (2^n)*a(n)*(2^n-a(n)) is the smallest for the range a(n) <= 2^x - a(n) < 2^x.

The product of distinct prime divisors of m*(2^n-m) is also called the radical of that number: rad(m*(2^n-m)).

Cf. A007947, A085152, A085153.
Cf. A147298, A147299, A147300, A147302, A147303, A147305, A147306, A147307.
Cf. A147638, A147639, A147640, A147641, A147642, A147643.

aa = {1}; bb = {1}; rr = {}; Do[logmax = 0; k = 2^x; w = Floor[(k - 1)/2]; Do[m = FactorInteger[n (k - n)]; rad = 1; Do[rad = rad m[[s]][[1]], {s, 1, Length[m]}]; log = Log[k]/Log[rad]; If[log > logmax, bmin = k - n; amax = n; logmax = log; r = rad], {n, 1, w, 2}]; Print[{x, amax}]; AppendTo[aa, amax]; AppendTo[bb, bmin]; AppendTo[rr, r]; AppendTo[a, {x, logmax}], {x, 2, 15}]; bb (* Artur Jasinski with assistance of M. F. Hasler *)

a(n) = 2^n - A143700(n).

a(1) added by Jinyuan Wang, Aug 11 2020

cp's OEIS Frontend

A147643 Numbers A associated with the records of the merit function of the ABC conjecture admitting only C which are powers of 23.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

Extensions

A147642 Numbers C which generate successive records of the merit function of the ABC conjecture admitting only C which are powers of 23.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

A179017 Odd numbers c such that c*(c^2 - 1)/4 is squarefree.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

Extensions

A179019 a(n) = (A179017(n)+1)/2.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A143701 a(n) is the least odd number 2^n - m minimizing A007947(m*(2^n - m)).

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

Formula

Extensions