

A268759


Triangle T(n,k) read by rows: T(n,k) = (1/4)*(1 + k)*(2 + k)*(k  n)*(1 + k  n).


3



0, 0, 0, 1, 0, 0, 3, 3, 0, 0, 6, 9, 6, 0, 0, 10, 18, 18, 10, 0, 0, 15, 30, 36, 30, 15, 0, 0, 21, 45, 60, 60, 45, 21, 0, 0, 28, 63, 90, 100, 90, 63, 28, 0, 0, 36, 84, 126, 150, 150, 126, 84, 36, 0, 0, 45, 108, 168, 210, 225, 210, 168, 108, 45, 0, 0, 55, 135, 216, 280, 315
(list;
table;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,7


COMMENTS

Offdiagonal elements of angular momentum matrices J_1^2 and J_2^2.
Construct the infinitedimensional matrix representation of angular momentum operators (J_1,J_2,J_3) in the blockdiagonal, JordanSchwinger form (cf. Harter, Klee, Schwinger). The triangle terms T(n,k) satisfy:(1/2)T(n,k)^(1/2) = <n(n+1)/2+k+1J_1^2n(n+1)/2+k+3> = <n(n+1)/2+k+3J_1^2n(n+1)/2+k+1> =  <n(n+1)/2+k+1J_2^2n(n+1)/2+k+3> =  <n(n+1)/2+k+3J_2^2n(n+1)/2+k+1>. In the Dirac notation, we write elements m_{ij} of matrix M as <iMj>=m_{ij}. Matrices for J_1^2 and J_2^2 are sparse. These equalities and the centraldiagonal equalities of A141387 determine the only nonzero entries.
Notice that a(n) = T(n,k) is always a multiple of the triangular numbers, up to an offset. Conjecture: the triangle tabulating matrix elements <n(n+1)/2+k+1J_1^pn(n+1)/2+k+p+1> is determined entirely by the coefficients: binomial(n,p) (cf. A094053). Various sequences along the diagonals of matrix J_1^p lead to other numbers with geometric interpretations (Cf. A000567, A100165).


LINKS

J. Schwinger, On Angular Momentum , Cambridge: Harvard University, Nuclear Development Associates, Inc., 1952.


FORMULA

T(n,k) = (1/4)*(1 + k)*(2 + k)*(k  n)*(1 + k  n).
G.f.: x^2/((1x)^3(1x*y)^3)


EXAMPLE

0;
0, 0;
1, 0, 0;
3, 3, 0, 0;
6, 9, 6, 0, 0;
10, 18, 18, 10, 0, 0;
15, 30, 36, 30, 15, 0, 0;
...


MATHEMATICA

Flatten[Table[(1/4) (1 + k) (2 + k) (k  n) (1 + k  n), {n, 0, 10, 1}, {k, 0, n, 1}]]


CROSSREFS



KEYWORD



AUTHOR



STATUS

approved



