login
Table T(n,m) = n - m read by upwards antidiagonals.
12

%I #81 May 27 2024 15:21:20

%S 0,1,-1,2,0,-2,3,1,-1,-3,4,2,0,-2,-4,5,3,1,-1,-3,-5,6,4,2,0,-2,-4,-6,

%T 7,5,3,1,-1,-3,-5,-7,8,6,4,2,0,-2,-4,-6,-8,9,7,5,3,1,-1,-3,-5,-7,-9,

%U 10,8,6,4,2,0,-2,-4,-6,-8,-10,11,9,7,5,3,1,-1,-3,-5,-7,-9,-11,12,10,8,6,4,2,0,-2,-4,-6,-8,-10,-12

%N Table T(n,m) = n - m read by upwards antidiagonals.

%C From _Clark Kimberling_, May 31 2011: (Start)

%C If we arrange A000027 as an array with northwest corner

%C 1 2 4 7 17 ...

%C 3 5 8 12 18 ...

%C 6 9 13 18 24 ...

%C 10 14 19 25 32 ...

%C diagonals can be numbered as follows depending on their distance to the main diagonal:

%C Diag 0: 1, 5, 13, 25, ...

%C Diag 1: 2, 8, 18, 32, ...

%C Diag -1: 3, 9, 19, 33, ...,

%C then a(n) in the flattened array is the number of the diagonal that contains n+1. (End)

%C Construct the infinite-dimensional matrix representation of angular momentum operators (J_1,J_2,J_3) in Jordan-Schwinger form (cf. Harter, Klee, Schwinger). Triangle terms T(n,k) = T(2j,j-m) satisfy: (1/2) T(2j,j-m) = <j,m|J_3|j,m> = m. Matrix J_3 is diagonal, so this equality determines the only nonzero entries. - _Bradley Klee_, Jan 29 2016

%C For the characteristic polynomial of the n X n matrix M_n (Det(x*1_n - M_n)) with elements M_n(i, j) = i-j see the _Michael Somos_, Nov 14 2002, comment on A002415. - _Wolfdieter Lang_, Feb 05 2018

%C The entries of the n-th antidiagonal, T(n,1), T(n-1,2), ... , T(1,n), are the eigenvalues of the Hamming graph H(2,n-1) (or hypercube Q(n-1)). - _Miquel A. Fiol_, May 21 2024

%H Reinhard Zumkeller, <a href="/A114327/b114327.txt">Rows n = 0..125 of triangle, flattened</a>

%H W. Harter, <a href="https://modphys.hosted.uark.edu/markup/PSDS_Info.html">Principles of Symmetry, Dynamics, Spectroscopy</a>, Wiley, 1993, Ch. 5, page 345-346.

%H B. Klee, <a href="http://demonstrations.wolfram.com/QuantumAngularMomentumMatrices/">Quantum Angular Momentum Matrices</a>, Wolfram Demonstrations Project, 2016.

%H J. Schwinger, <a href="http://www.ifi.unicamp.br/~cabrera/teaching/paper_schwinger.pdf">On Angular Momentum</a>, Cambridge: Harvard University, Nuclear Development Associates, Inc., 1952.

%F G.f. for the table: Sum_{n, m>=0} T(n,m)*x^n*y^n = (x-y)/((1-x)^2*(1-y)^2).

%F E.g.f. for the table: Sum_{n, m>=0} T(n,m)x^n/n!*y^m/m! = (x-y)*e^{x+y}.

%F T(n,k) = A025581(n,k) - A002262(n,k).

%F a(n) = A004736(n) - A002260(n) or a(n) = (t*t+3*t+4)/2-n) - (n-t*(t+1)/2), where t=floor((-1+sqrt(8*n-7))/2). - _Boris Putievskiy_, Dec 24 2012

%F G.f. as sequence: -(1+x)/(1-x)^2 + (Sum_{j>=0} (2*j+1)*x^(j*(j+1)/2) / (1-x). The sum is related to Jacobi theta functions. - _Robert Israel_, Jan 29 2016

%F Triangle t(n, k) = n - 2*k, for n >= 0, k = 0..n. (see the Maple program). - _Wolfdieter Lang_, Feb 05 2018

%e From _Wolfdieter Lang_, Feb 05 2018: (Start)

%e The table T(n, m) begins:

%e n\m 0 1 2 3 4 5 ...

%e 0: 0 -1 -2 -3 -4 -5 ...

%e 1: 1 0 -1 -2 -3 -4 ...

%e 2: 2 1 0 -1 -2 -3 ...

%e 3: 3 2 1 0 -1 -2 ...

%e 4: 4 3 2 1 0 -1 ...

%e 5: 5 4 3 2 1 0 ...

%e ...

%e The triangle t(n, k) begins:

%e n\k 0 1 2 3 4 5 6 7 8 9 10 ...

%e 0: 0

%e 1: 1 -1

%e 2: 2 0 -2

%e 3: 3 1 -1 -3

%e 4: 4 2 0 -2 -4

%e 5: 5 3 1 -1 -3 -5

%e 6: 6 4 2 0 -2 -4 -6

%e 7: 7 5 3 1 -1 -3 -5 -7

%e 8: 8 6 4 2 0 -2 -4 -6 -8

%e 9: 9 7 5 3 1 -1 -3 -5 -7 -9

%e 10: 10 8 6 4 2 0 -2 -4 -6 -8 -10

%e ... Reformatted and corrected. (End)

%p seq(seq(i-2*j,j=0..i),i=0..30); # _Robert Israel_, Jan 29 2016

%t max = 12; a025581 = NestList[Prepend[#, First[#]+1]&, {0}, max]; a002262 = Table[Range[0, n], {n, 0, max}]; a114327 = a025581 - a002262 // Flatten (* _Jean-François Alcover_, Jan 04 2016 *)

%t Flatten[Table[-2 m, {j, 0, 10, 1/2}, {m, -j, j}]] (* _Bradley Klee_, Jan 29 2016 *)

%o (Haskell)

%o a114327 n k = a114327_tabl !! n !! k

%o a114327_row n = a114327_tabl !! n

%o a114327_tabl = zipWith (zipWith (-)) a025581_tabl a002262_tabl

%o -- _Reinhard Zumkeller_, Aug 09 2014

%o (PARI) T(n,m) = n-m \\ _Charles R Greathouse IV_, Feb 07 2017

%Y Apart from signs, same as A049581. Cf. A003056, A025581, A002262, A002260, A004736. J_1,J_2: A094053; J_1^2,J_2^2: A141387, A268759. A002415.

%K easy,sign,tabl,nice

%O 0,4

%A _Franklin T. Adams-Watters_, Feb 06 2006

%E Formula improved by _Reinhard Zumkeller_, Aug 09 2014