cp's OEIS Frontend

In a row of the Wythoff array, either every two consecutive terms are relatively prime or else no two consecutive terms are relatively prime. In the first case, we call the row primitive; otherwise, the row is an integer multiple of a tail of a preceding row. Conjectures: the maximal number of consecutive primitive rows is 5, and the limiting proportion of primitive rows exists and is approximately 0.608.

See the Comment on distinct-product sequences in A160009.

We begin with a definition. Suppose that W = (w(i,j)), where i >= 1 and j >= 1, is an array of numbers such that if m and n satisfy 1 <= m < n, then there exists k such that w(m,k+h) < w(n,h+1) < w(m,k+h+1) for every h >= 0. Then W is a row-splitting array. The array B(2,1) is a row-splitting array. The rows of B(2,1) are linearly recurrent with signature (1,1); the columns are linearly recurrent with signature (1,1,-1). The order array (as defined in A333029) of B(2,1) is A361995.

In general, let w(i,j) be the weight of the unit square labeled by its northeast vertex (i,j) and for each (m,n), define S(m,n) = Sum_{i=1..m} Sum_{j=1..n} w(i,j).

Then S(m,n) is the weight of the rectangle [0,m]x[0,n]. As in A144112, we call W the weight array of S, and S the accumulation array of W, which can be derived from S as follows:

(1) extend S by defining S(i,j)=0 if i=0 or j=0; and

(2) then w(m,n) = s(m,n) + s(m-n,n-1) - s(m,n-1) - s(n,m-1) for m>=1, n>=1.

For the case at hand, S is the Wythoff array, A035513. These arrays form a chain:

... ->A144148->A035513->A185737-> ... Every term of this array is a Fibonacci number.

Let c be the constant given by A079586, that is, the sum of reciprocals of the Fibonacci numbers F(k) for k>=1. The number c-1, the sum of reciprocals of row 1 of W, is known to be irrational (see A079586). Conjecture: the same is true for all the other rows of W.

Let h be the constant given at A153387 and s(n) the sum of reciprocals of numbers in row n of W. Then h < 1 + s(n)*floor(n*tau) < c. Thus, s(n) -> 0 as n -> oo.

a(n) is also the gcd of every pair of consecutive terms of row n of the Wythoff array. Conjectures: the maximal number of consecutive 1's is 5, and the limiting proportion of 1's exists. See A332938.

If seems that for all primes p > 3, a(1+p) = 1. - Antti Karttunen, Jan 15 2025

In a row of the Wythoff array, either every two consecutive terms are relatively prime or else no two consecutive terms are relatively prime. In the first case, we call the row primitive; otherwise, the row is an integer multiple of a tail of a preceding row. The primitive rows are interspersed, in the sense that if h < k then the numbers in row k are interspersed, in magnitude, among numbers in row h. In each row, every pair of consecutive numbers is a Wythoff pair of relatively prime numbers. The array includes every prime.

Conjecture: Only a finite number of positive integers are missing.

We begin with a definition. Suppose that W = (w(i,j)), where i >= 1 and j >= 1, is an array of numbers such that if m and n satisfy 1 <= m < n, then there exists k such that w(m,k+h) < w(n,h+1) < w(m,k+h+1) for every h >= 0. Then W is a row-splitting array. The array B(2,2) is a row-splitting array. The rows of B(2,2) are linearly recurrent with signature (3,-1); the columns are linearly recurrent with signature (1,1,-1). The order array (as defined in A333029) of B(2,2) is A361996.