Processing math: 100%

Thursday, January 12, 2017

Number of 2 by 2 matrices with all elements in {0,1,..,n} and its permanent equal to the sum of all elements

OEIS sequence A280934 is defined as: a(n)= the number of 2 by 2 matrices with all elements integers in the set {0,1,..,n} and its permanent is equal to the sum of all elements.

Consider a 2 by 2 matrix (acdb). The sum of all elements equal to the permanent is written as a+b+c+d=ab+cd. This can be rewritten as (a1)(b1)+(c1)(d1)=2. In other words, a(n)= the number of 2 by 2 matrices with all elements integers in the set {1,..,n1} and its permanent is equal to 2. We will consider this alternative formulation in the rest of this note. Suppose n>3 and at least one of members of the matrix has value n1. Let us count how many of such matrices has permanent 2, i.e. ab+cd=2.

First consider the case a=n1. If  b=1, then cd=n+1. Note that c1 and cn+1 since 1c,dn1. Since n>3, any nontrivial factor of n+1 is less than n1. Thus setting c>1 equal to any nontrivial factor of n+1 and d=(n+1)/c will result in a matrix with permanent 2. Thus there are τ(n+1)2 such matrices. Here τ(n) denotes the number of divisors of n. If b=0, then cd=2 and there are 2 cases: (c,d)=(1,2) and (c,d)=(2,1). If b=1, then cd=3n and there are 2 cases as well: (c,d)=(1,n3) and (c,d)=(n3,1). Note that cd1n since 1c,dn1. This means that if b>1 then ab+cdn1>2. Thus we have a total of τ(n+1)+2 cases. Note that in all cases, exactly one element of the matrix is of value n1.

By symmetry, the same analysis applies to b=n1, c=n1 and d=n1 as well. Since in all the cases only one element of the matrix is of value n1, there is no double counting. Thus the number of matrices with at least one member equal to n1 and permanent 2 is 4τ(n+1)+8. This implies the following recurrence relation for a(n):

a(n)=a(n1)+4τ(n+1)+8forn>3.

No comments:

Post a Comment