cp's OEIS Frontend

Eric Angelini's illustration shows the first 19 rows of the triangle. Each row ends when a prime is reached, and the next row starts directly under this prime but moves in the opposite direction.

The extended illustration from Walter Trump resembles a giant ski run.

Hans Havermann's plots of A330545, linked here, extend Walter Trump's graph to 4*10^8 rows (probably the longest ski run in the world). Only the turns are shown, and the illustration has been turned sideways.

A330545(k) = 0 iff prime(k) is a term of the present sequence. In a sense A330545 and the simpler A330547 are the more fundamental sequences and show the connection between the present problem and the ordinary primes and their alternating sums.

Note that because primes > 2 are odd, a prime can only appear in column 0 at the end of a row that is moving towards the left. A prime appearing in a row moving to the right will always appear in an odd-numbered column (and in particular, not in the zero column).

Furthermore the column number mod 4 uniquely determines the residue class of primes mod 4 in that column. If the column number is 0,1,2,3 mod 4 then the primes in that column are 1,3,3,1 respectively (see the "Notes" link). In particular, a(n) == 1 mod 4. - N. J. A. Sloane, Jan 04 2020

Note that the primes > 2 in column one and two are the primes in A282178.

Note on the links: The illustrations from Angelini and Trump show all the terms 0,1,2,3,4,..., while those of Havermann and Sloane just show the primes (as in A330545).

There are several equivalent definitions:

a(n) = (-1)^(n+1)*(prime(n) + 2*(Sum_{i=1..n-1} (-1)^i*prime(n-i)));

a(n) = (-1)^n*(prime(n) - 2*A008347(n)) for n >= 1;

a(n) = A330545(n) if n is odd, a(n) = A330545(n)-1 if n is even;

generating function = P(-x)*(x+1)/(x-1), where P(x) = 2*x + 3*x^2 + 5*x^3 + ... = Sum_{k>=1} prime(k)*x^k is the g.f. for the primes.

Note that the recurrence closely resembles that of A330545, but is slightly simpler. Hans Havermann's graphs of A330545, linked here, also essentially apply to the present sequence.

This sequence ties together A330339, A330545, A008347, and the primes.

Just as A330545 describes the boustrophedon path that generates the "Boustrophedon Primes" in A330339, the present sequence can also be regarded as defining a boustrophedon path with a slightly different rule, as follows. Write the numbers 0, 1, 2, 3, ... in a triangle on a square grid in the boustrophedon manner, ending a row when a prime is reached, and starting the next row in the opposite direction, but displaced by one square in that direction:

-1.0.1.2.3..4..5..6..7..8..9.

-----------------------------

...0 1 2

.....3

.......4 5

.....7 6

.......8 9 10 11

........13 12

...........14 15 16 17

..............19 18

.................20 21 22 23

...

Since all primes>2 are odd, here the odd primes only appear in odd-number4d columns (and in particular there are no primes in column 0).

In fact the primes (other than 2) occur only in odd-numbered columns: primes congruent to 3 mod 4 occur in columns congruent to 1 mod 4, and primes congruent to 1 mod 4 occur in columns congruent to 3 mod 4. See the "Notes" link for proof. - N. J. A. Sloane, Jan 04 2020

It would be nice to know something about the asymptotic growth of this sequence. The usual estimates for the primes do not seem to produce anything useful.

For large n, the graphs of A330545 and A330547 are essentially identical.

Based on the first 10^12 terms, it appears that lim sup |a(n)| is about n^(2/3). This estimate is based on the plots given in A330545 by Sloane, Trump (the first plot), Havermann (the first plot), and Stevenson (all three plots).- N. J. A. Sloane, Jan 21 2020

Conjecture. Let k be an integer and X_k be the set of all n such that (-1)^n*a(n)=2k-1. If a, b are integers and a<>0, then X_k contains infinitely many terms of the arithmetic progression {a*n+b: n integer}. - M. Farrokhi D. G., Nov 12 2023

Or, with prime(0) = 1, numbers k such that Sum_{i=0..k-1} (prime(i+1)-prime(i))*(-1)^i = Sum_{i=0..k-1} (A008578(i+1)-A008578(i))*(-1)^i = 0.

There are 313 terms < 10^7, 846 terms < 10^8, 1161 terms < 10^9.

If the counting numbers 1, 2, 3, ... are written out sequentially such that one unit is moved in a given direction each time a new number is written and such that the direction is reversed if and only if a prime number is reached, these are the primes that lie directly below the number 1.

Comments from N. J. A. Sloane, Dec 21 2019: (Start)

Let p(k) = k-th prime, Delta p(k) = p(k+1)-p(k). The sequence contains those primes q such that

Sum_{k odd, p(k+1) <= q} Delta p(k) = 1 + Sum_{k even, p(k+1) <= q} Delta p(k).

The boustrophedon path described in the first comment can be drawn as follows (it is very similar to the path in A330339):

-2.-1| 0..1..2..3..4..5..6..7..8..

----------------------------------

.....|.1..2

.....|.3

.....|....4..5

.....|.7..6

.....|....8..9.10.11

.....|......13.12

.....|.........14.15.16.17

.....|............19.18

.....|...............20.21.22.23

.....|......29.28.27.26.25.24

.....|.........30.31

37.36|35.34.33.32

...

The primes that fall in column 0 make up the sequence.

Thanks to Walter Trump for pointing out that this sequence is very similar to the Boustrophedon Primes sequence of A330339, and for correcting an omission in an earlier version of these comments.

The close relationship between the two sequences is demonstrated by the fact that the Boustrophedon Primes occur exactly when A330545 is 0, whereas the primes in the present sequence occur exactly when A330545 is 1 or 2.

Yet another way to relate the two sequences is to say that the present sequence gives all the primes > 2 in columns 1 and 2 of the triangle in A330339.

(End)

The primes (other than 2) occur only in even-numbered columns: primes congruent to 3 mod 4 occur in columns congruent to 0 mod 4, and primes congruent to 1 mod 4 occur in columns congruent to 2 mod 4. See the "Notes" link for proof. In particular, a(n) == 3 mod 4.- N. J. A. Sloane, Jan 04 2020

Frank Stevenson's data seems to suggest that a(n) is roughly growing like n^c where c is about 2.74. - N. J. A. Sloane, Dec 31 2019

Since all primes > 2 are odd, every term here is even.

Equivalently, primes that occur in columns 0, 1, or 2 of the triangle in A330339. [Corrected by Walter Trump, Dec 23 2019]

The asymptotic behavior of A282178 and A330339 is a mystery. It is not even known if they are infinite. They are closely related. A282178 contains primes == 3 mod 4, and A330339 primes == 1 mod 4. Perhaps by combining them in this way some properties will become more visible.