Infinitely many primes in every row of array

[pedja]

I asked this question on one another forum but didn't get any answer .

Consider the following array of natural numbers :

\begin{array}{ccccccccc}<br /> 1 &amp; 2 &amp; 4 &amp; 7 &amp; 11 &amp; 16 &amp; 22 &amp; 29 &amp; \ldots \\<br /> 3 &amp; 5 &amp; 8 &amp; 12 &amp; 17 &amp; 23 &amp; 30 &amp; 38 &amp; \ldots \\<br /> 6 &amp; 9 &amp; 13 &amp; 18 &amp; 24 &amp; 31 &amp; 39 &amp; 48 &amp; \ldots \\<br /> 10 &amp; 14 &amp; 19 &amp; 25 &amp; 32 &amp; 40 &amp; 49 &amp; 59 &amp; \ldots \\<br /> 15 &amp; 20 &amp; 26 &amp; 33 &amp; 41 &amp; 50 &amp; 60 &amp; 71 &amp; \ldots \\<br /> 21 &amp; 27 &amp; 34 &amp; 42 &amp; 51 &amp; 61 &amp; 72 &amp; 84 &amp; \ldots \\<br /> \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; \vdots &amp; <br /> \end{array}

Question : Are there infinitely many primes in every row of this array ?

My attempt :

The nth term of the first row is given by :

a_n=\frac{1}{2}(n^2-n+2)

\text{for}~ n=2k~\text {we have :}
a_{2k}=P(k)=2k^2-k+1
\text{and for}~ n=2k-1~\text{ we have :}
a_{2k-1}=Q(k)=2k^2-3k+2

Note that both P(k) and Q(k) are irreducible over integers .

Also note that : \gcd(P(1),P(2),\ldots)=1 ~\text{and}~ \gcd(Q(1),Q(2),\ldots)=1

So, according to Bunyakowsky conjecture both P(k) and Q(k) generates for natural arguments infinitely many prime numbers . Therefore , if Bunyakowsky conjecture is true first row contains infinitely many primes . One can draw same conclusion for all other rows .

Is my reasoning correct ? Is there some other approach to this problem ?

 

[Norwegian]

Question : Are there infinitely many primes in every row of this array ?

This is an open problem, and as you correctly observe, it is a special case of a conjecture by Bunyakovsky (from 1857).

Is my reasoning correct ?

Yes

Is there some other approach to this problem ?

uhm... other than what? It is interesting to note that no quadratic polynomials (or higher degrees) over Z have been shown to generate an infinitude of primes.

 

[TylerH]

The two dimensional form of that formula isa_{m,n}=\frac{m^2 + n^2 + 2mn - m - 3n + 2}{2}.A different way to approach this could be to try to prove\forall n \exists m : a_{m,n} \in P.As opposed to the way you seem to be going about it, by proving\forall m \exists n : a_{m,n} \in P.It would really only make the difference of changing which polynomial you're trying to prove to generate an infinitude of primes over Z. Either way, it would still require being the first to prove a polynomial can generate an infinitude of primes.

 

[epsi00]

The two dimensional form of that formula isa_{m,n}=\frac{m^2 + n^2 + 2mn - m - 3n + 2}{2}.A different way to approach this could be to try to prove\forall n \exists m : a_{m,n} \in P.As opposed to the way you seem to be going about it, by proving\forall m \exists n : a_{m,n} \in P.It would really only make the difference of changing which polynomial you're trying to prove to generate an infinitude of primes over Z. Either way, it would still require being the first to prove a polynomial can generate an infinitude of primes.

can you please show how you derived the 2-D formula. I am working with a similar problem where I know both formulas but cannot combine them into two. Thanks

 

[TylerH]

It wasn't too advanced, more of a hack actually. I used Wolfram|Alpha to find the generating polynomial of each row, which were all of the form m^2 + Am + B.

A was -1, 1, 3, 5, ... and B was 2, 4, 8, 14, ...

I just used Wolfram|Alpha again to find the generating functions for A and B which where A(n)=2n-3 and B(n)=n^2-n+2. I plugged those in for A and B.

Something interesting I noticed is that B is the function for the first row of the matrix, but with row as input rather than column. This suggests that the matrix could (relatively) easily be extended to more dimensions. For example, a_{x,y,z}=\frac{x^2 + x(2y-3) + y^2 + y(2z-3) + z^2}{2}.

I haven't actually looked at that (mainly because I'm too lazy), so I don't know for sure if it's actually a 3d generalization, but I think it works...

 

[Norwegian]

can you please show how you derived the 2-D formula

In the first colomn we have the triangular numbers, m(m+1)/2. Then observe that in row m, to get the number in the next colomn, you have to add m, then you have to add m+1, m+2, and so on. So in row m, colomn n, adding m(n-1) to the formula takes care of the +m parts, and adding (n-1)(n-2)/2, the triangular number 1+2+...+n-2, will complete the formula. So the element in row m, colomn n can be written m(m-1)/2 + (n-1)(n-2)/2 + mn.

There are many ways to generalize, but if you want to place all the positive integers in a 3-dimensional array, in a similar way, you will get the tetrahedal numbers n(n+1)(n+2)/6 (= 1,4,10,20,35,...) along one of the edges, and I assume the general formula will be a cubic polynomial.

 

[ramsey2879]

As a possible explanation of why there may be only a finite number of primes in a given row, I haved previously determined that each term a_{m,n} generates 2*G infinite series where G is the number of ways the value a_{m,n} can be expressed as a product of two factors A,B. Such series being S_{1} = A, S_{2} = B, S_{n} = 6*S_{n-1} - S_{n-2} + (A+B - 2m - 2n + 3). within the parentheses, A and B can be each positive or each negative. These series have the property that the product of any two adjacent terms is an element of row m. With so many elements of row m being determined to be a product by infinite series in the order of twice the number of factors of all prior terms, there seems that eventually there would be little chance for prime elements.

 

[ramsey2879]

As a possible explanation of why there may be only a finite number of primes in a given row, I haved previously determined that each term a_{m,n} generates 2*G infinite series where G is the number of ways the value a_{m,n} can be expressed as a product of two factors A,B. Such series being S_{1} = A, S_{2} = B, S_{n} = 6*S_{n-1} - S_{n-2} + (A+B - 2m - 2n + 3). within the parentheses, A and B can be each positive or each negative. These series have the property that the product of any two adjacent terms is an element of row m. With so many elements of row m being determined to be a product by infinite series in the order of twice the number of factors of all prior terms, there seems that eventually there would be little chance for prime elements.

Sorry but the recursive formula is;
S_{n} = 6*S_{n-1} - S_{n-2} + 2*(A+B-2m -2n +3) .
I forgot the multiplication by 2 part. Also, although A and B can be either both positive or both negative, this must be consistent through out.
Example, for a_{1,3}
S = {2,2,8,...} or {-2,-2,-28, ...} or {1,4,23,...} or {-1,-4,-43...} or {-4,-1, -22,...} or {4,1,2,...}