Matrix Log of Triangle A051731=A054525^-1

Paul D. Hanna pauldhanna at juno.com
Tue Jan 10 07:53:45 CET 2006


Seqfans, 
       How would one submit the following triangle of UNIT FRACTIONS 
that is aerated with many ZEROS? 
 
The triangle is the MATRIX LOG of triangle A051731=A054525^-1, and 
is closely related to the MoebiusMu function.  
   
Below I define triangles A051731 and A054525, and give a FORMULA for the
matrix log
in terms of sequence A100995.  
  
Any suggestions on the best way to submit to the OEIS?  
Thanks, 
      Paul
---------------------------------------------------------------------- 
 
* Triangle A051731 is defined by: 
A051731(n,k)=1 if k|n, 0 otherwise. 
   
* The matrix inverse of triangle A051731 is triangle A054525 defined by: 
A054525(n,k) = MoebiusMu(n/k) if k|n, 0 otherwise. 
  
* The matrix log of triangle A051731 is defined by:  
T(n,k) = 1/A100995(n/k) when k|n and A100995(n/k) is non-zero, T(n,k) = 0
otherwise. 
  
* Sequence A100995 is defined by: 
"If n is a prime power then its exponent, else 0."  
  
The matrix log of triangle A051731 begins:
0;
1,0;
1,0,0;
1/2,1,0,0;
1,0,0,0,0;
0,1,1,0,0,0;
1,0,0,0,0,0,0;
1/3,1/2,0,1,0,0,0,0;
1/2,0,1,0,0,0,0,0,0;
0,1,0,0,1,0,0,0,0,0;
1,0,0,0,0,0,0,0,0,0,0; ...
 
Which consists entirely of unit fractions and zeros.
 
If we list only the denominators of the unit fractions of the non-zero
entries, 
and leave zero entries alone, we get the triangle defined by:  
*  T(n,k) = A100995(n/k) when k|n, 0 otherwise. 
    
But what about at all those zeros ... 
Being a matrix log, I would hate to leave out any zeros ...
  
Row#: Row elements;
1: 0;
2: 1,0;
3: 1,0,0;
4: 2,1,0,0;
5: 1,0,0,0,0;
6: 0,1,1,0,0,0;
7: 1,0,0,0,0,0,0;
8: 3,2,0,1,0,0,0,0;
9: 2,0,1,0,0,0,0,0,0;
10: 0,1,0,0,1,0,0,0,0,0;
11: 1,0,0,0,0,0,0,0,0,0,0;
12: 0,0,2,1,0,1,0,0,0,0,0,0;
13: 1,0,0,0,0,0,0,0,0,0,0,0,0;
14: 0,1,0,0,0,0,1,0,0,0,0,0,0,0;
15: 0,0,1,0,1,0,0,0,0,0,0,0,0,0,0;
16: 4,3,0,2,0,0,0,1,0,0,0,0,0,0,0,0;
17: 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
18: 0,2,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0;
19: 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
20: 0,0,0,1,2,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0;
21: 0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
22: 0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0;
23: 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
24: 0,0,3,0,0,2,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0;
25: 2,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
26: 0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0;
27: 3,0,2,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
28: 0,0,0,1,0,0,2,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0; 
29: 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
30: 0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0; ... 
   
END





More information about the SeqFan mailing list