OFFSET
0,16
COMMENTS
a(i,j) is the number of paths from (i,i) to (j,j) using steps of length (0,1), (1,0) and (1,1), not passing above the line y=x nor below the line y=4x/5. The Hamburger Theorem implies that we can use this table to calculate the number of domino tilings of an Aztec 9-pillow (A112842). To calculate this quantity, let P_n = the principal n X n submatrix of this array. If J_n = the back-diagonal matrix of order n, then A112842(n)=det(P_n+J_nP_n^(-1)J_n).
REFERENCES
C. Hanusa (2005). A Gessel-Viennot-Type Method for Cycle Systems with Applications to Aztec Pillows. PhD Thesis. University of Washington, Seattle, USA.
EXAMPLE
The number of paths from (0,0) to (6,6) staying between the lines y=x and y=4x/5 using steps of length (0,1), (1,0) and (1,1) is a(0,6)=5.
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
Christopher Hanusa (chanusa(AT)math.binghamton.edu), Nov 21 2005
STATUS
approved