A137326 -id:A137326 - cp's OEIS frontend

A139033 a(1)=1; at n>=2, a(n) = least square > a(n-1) such that sum a(1)+...+a(n) is a prime number.

1, 4, 36, 576, 1296, 1764, 2304, 4356, 6084, 15876, 19044, 20736, 26244, 44100, 69696, 76176, 82944, 86436, 112896, 152100, 176400, 213444, 248004, 254016, 260100, 285156, 291600, 324900, 381924, 396900, 412164, 435600, 476100, 492804, 553536, 608400, 705600

Offset: 1

Zak Seidov, Apr 07 2008

nonn

Zak Seidov, Table of n, a(n) for n = 1..2000

Cf. A137326, A139034 (corresponding primes).

s={1};su=1;Do[p=su+n^2;If[PrimeQ[p],su=p;AppendTo[s,n^2]],{n,2,120000}];s

a(n) = A137326(n)^2.

Edited by Alois P. Heinz, Jan 27 2023

A356639 Number of integer sequences b with b(1) = 1, b(m) > 0 and b(m+1) - b(m) > 0, of length n which transform under the map S into a nonnegative integer sequence. The transform c = S(b) is defined by c(m) = Product_{k=1..m} b(k) / Product_{k=2..m} (b(k) - b(k-1)).

Original entry on oeis.org

1, 1, 3, 17, 155, 2677, 73327, 3578339, 329652351

Offset: 1

Thomas Scheuerle, Aug 19 2022

This sequence can be calculated by a recursive algorithm:
Let B1 be an array of finite length, the "1" denotes that it is the first generation. Let B1' be the reversed version of B1. Let C be the element-wise product C = B1 * B1'. Then B2 is a concatenation of taking each element of B1 and add all divisors of the corresponding element in C. If we start with B1 = {1} then we get this sequence of arrays: B2 = {2}, B3 = {3, 4, 6}, ... . a(n) is the length of the array Bn. In short the length of Bn+1 and so a(n+1) is the sum over A000005(Bn * Bn').
The transform used in the definition of this sequence is its own inverse, so if c = S(b) then b = S(c). The eigensequence is 2^n = S(2^n).
There exist some transformation pairs of infinite sequences in the database:
  A000027 <--> A000142; A000079 <--> A000079; A000045 <--> A001654;
  A026549 <--> A038754; A100071 <--> A001405; A058295 <--> A------;
  A111286 <--> A098011; A093968 <--> A205825; A166447 <--> A------;
  A098558 <--> A004277; A010551 <--> A087811; A100538 <--> A329227;
  A079352 <--> A------; A082458 <--> A------; A008233 <--> A264635;
  A138278 <--> A------; A006501 <--> A264557; A336496 <--> A------;
  A019464 <--> A------; A062112 <--> A------; A171647 <--> A359039;
  A279312 <--> A------; A031923 <--> A------.
These transformation pairs are conjectured:
  A137326 <--> A------; A066332 <--> A300902; A208147 <--> A308546;
  A057895 <--> A------; A349080 <--> A------; A019442 <--> A------;
  A349079 <--> A------.
("A------" means not yet in the database.)
Some sequences in the lists above may need offset adjustment to force a beginning with 1,2,... in the transformation.
If we allowed signed rational numbers, further interesting transformation pairs could be observed. For example, 1/n will transform into factorials with alternating sign. 2^(-n) transforms into ones with alternating sign and 1/A000045(n) into A000045 with alternating sign.

			a(4) = 17. The 17 transformation pairs of length 4 are:
  {1, 2, 3, 4}  = S({1, 2, 6, 24}).
  {1, 2, 3, 5}  = S({1, 2, 6, 15}).
  {1, 2, 3, 6}  = S({1, 2, 6, 12}).
  {1, 2, 3, 9}  = S({1, 2, 6, 9}).
  {1, 2, 3, 12} = S({1, 2, 6, 8}).
  {1, 2, 3, 21} = S({1, 2, 6, 7}).
  {1, 2, 4, 5}  = S({1, 2, 4, 20}).
  {1, 2, 4, 6}  = S({1, 2, 4, 12}).
  {1, 2, 4, 8}  = S({1, 2, 4, 8}).
  {1, 2, 4, 12} = S({1, 2, 4, 6}).
  {1, 2, 4, 20} = S({1, 2, 4, 5}).
  {1, 2, 6, 7}  = S({1, 2, 3, 21}).
  {1, 2, 6, 8}  = S({1, 2, 3, 12}).
  {1, 2, 6, 9}  = S({1, 2, 3, 9}).
  {1, 2, 6, 12} = S({1, 2, 3, 6}).
  {1, 2, 6, 15} = S({1, 2, 3, 5}).
  {1, 2, 6, 24} = S({1, 2, 3, 4}).
b(1) = 1 by definition, b(2) = 1+1 as 1 has only 1 as divisor.
a(3) = A000005(b(2)*b(2)) = 3.
The divisors of b(2) are 1,2,4. So b(3) can be b(2)+1, b(2)+2 and b(2)+4.
a(4) = A000005((b(2)+1)*(b(2)+4)) + A000005((b(2)+2)*(b(2)+2)) + A000005((b(2)+4)*(b(2)+1)) = 17.

Cf. A000005.
Cf. A000027, A000045, A000079, A000142, A001405.
Cf. A001654, A004277, A006501, A008233, A019442.
Cf. A010551, A019464, A026549, A031923, A038754.
Cf. A057895, A058295, A062112, A066332, A100071.
Cf. A079352, A082458, A087811, A093968, A098011.
Cf. A098558, A100538, A111286, A166447, A137326.
Cf. A138278, A171647, A205825, A208147, A264557.
Cf. A264635, A308546, A329227, A336496, A349079.
Cf. A349080, A359039.

A360061 Lexicographically earliest increasing sequence such that a(1) = 2 and for n >= 2, a(1)^2 + a(2)^2 + ... + a(n)^2 is a prime.

Original entry on oeis.org

2, 3, 4, 12, 48, 54, 66, 138, 144, 162, 168, 180, 198, 234, 252, 264, 330, 360, 366, 372, 402, 420, 444, 462, 480, 534, 546, 552, 564, 576, 600, 630, 642, 678, 702, 744, 756, 846, 852, 858, 882, 966, 1008, 1206, 1242, 1254, 1266, 1272, 1296, 1302, 1338, 1650

Offset: 1

Win Wang, Jan 23 2023

			For n >= 2, partial sums of squares are (showing primality): 2^2 + 3^2 = 13; 13 + 4^2 = 29; 29 + 12^2 = 173; 173 + 48^2 = 2477; ...

Cf. A051935, A137326.

import Math.NumberTheory.Primes.Testing (isPrime)
a360061_list = 2 : 3 : recurse 4 13 where
  recurse n p
    | isPrime(n^2 + p) = n : recurse (n+1) (n^2 + p)
    | otherwise        = recurse (n+1) p
-- Peter Kagey, Jan 25 2023

s:= proc(n) option remember; `if`(n<1, 0, a(n)^2+s(n-1)) end:
a:= proc(n) option remember; local k, m;
      k:= s(n-1); for m from 1+a(n-1)
      while not isprime(k+m^2) do od; m
    end: a(1):=2:
seq(a(n), n=1..52);  # Alois P. Heinz, Jan 26 2023

s[n_] := s[n] = If[n < 1, 0, a[n]^2 + s[n-1]];
a[n_] := a[n] = Module[{k, m},
   k = s[n-1]; For[m = 1 + a[n-1],
   !PrimeQ[k + m^2], m++]; m];
a[1] = 2;
Table[a[n], {n, 1, 52}] (* Jean-François Alcover, Feb 03 2025, after Alois P. Heinz *)

cp's OEIS Frontend

A139033 a(1)=1; at n>=2, a(n) = least square > a(n-1) such that sum a(1)+...+a(n) is a prime number.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A356639 Number of integer sequences b with b(1) = 1, b(m) > 0 and b(m+1) - b(m) > 0, of length n which transform under the map S into a nonnegative integer sequence. The transform c = S(b) is defined by c(m) = Product_{k=1..m} b(k) / Product_{k=2..m} (b(k) - b(k-1)).

Views

Author

Keywords

Comments

Examples

Crossrefs

A360061 Lexicographically earliest increasing sequence such that a(1) = 2 and for n >= 2, a(1)^2 + a(2)^2 + ... + a(n)^2 is a prime.

Views

Author

Keywords

Examples

Crossrefs

Programs

Haskell

Maple

Mathematica