cp's OEIS Frontend

A289313 The number of upper-triangular matrices with integer entries whose absolute sum is equal to n and such that each row contains a nonzero entry.

%I A289313 #24 Nov 17 2024 03:18:47
%S A289313 1,2,10,74,722,8786,128218,2182554,42456226,929093538,22590839466,
%T A289313 604225121258,17630145814898,557285515817970,18970857530674554,
%U A289313 691929648113663802,26919562120779248962,1112769248605003393858,48704349211392743606602
%N A289313 The number of upper-triangular matrices with integer entries whose absolute sum is equal to n and such that each row contains a nonzero entry.
%C A289313 A row-Fishburn matrix of size n is defined to be an upper-triangular matrix with nonnegative integer entries which sum to n and such that each row contains a nonzero entry. See A158691.
%C A289313 Here we consider generalized row-Fishburn matrices where we allow the row_Fishburn matrices to have positive and negative nonzero entries. We define the size of a generalized row-Fishburn matrix to be the absolute sum of the matrix entries. This sequence gives the number of generalized row-Fishburn matrices of size n.
%C A289313 Alternatively, this sequence gives the number of 2-colored row-Fishburn matrices of size n, that is, ordinary row-Fishburn matrices of size n where each nonzero entry in the matrix can have one of two different colors.
%C A289313 More generally, if F(x) = Sum_{n >= 0} ( Product_{i = 1..n} (1 + x)^i - 1 ) is the o.g.f. for primitive row-Fishburn matrices A179525 (i.e., row-Fishburn matrices with entries restricted to the set {0,1}) and C(x) := c_1*x + c_2*x^2 + ..., where c_i is a sequence of nonnegative integers, then the composition F(C(x)) is the o.g.f. for colored row-Fishburn matrices where entry i in the matrix can have one of c_i different colors: c_i = 0 for some i means i does not appear as an entry in the Fishburn matrix. This result is an application of Lemma 2.2.22 of Goulden and Jackson.
%D A289313 I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, Wiley, N.Y., 1983, p. 42.
%H A289313 Seiichi Manyama, <a href="/A289313/b289313.txt">Table of n, a(n) for n = 0..200</a>
%H A289313 Hsien-Kuei Hwang and Emma Yu Jin, <a href="https://arxiv.org/abs/1911.06690">Asymptotics and statistics on Fishburn matrices and their generalizations</a>, arXiv:1911.06690 [math.CO], 2019.
%F A289313 O.g.f.: Sum_{n >= 0} ( Product_{i = 1..n} ((1 + x)/(1 - x))^i - 1 ).
%F A289313 The o.g.f. has several alternative forms:
%F A289313 Sum_{n >= 0} ( Product_{i = 1..n} ( 1 - ((1 - x)/(1 + x))^(2*i-1) ) );
%F A289313 Sum_{n >= 0} ((1 - x)/(1 + x))^(n+1) * ( Product_{i = 1..n} 1 - ((1 - x)/(1 + x))^(2*i) );
%F A289313 1/2*( 1 + Sum_{n >= 0} ((1 + x)/(1 - x))^((n+1)*(n+2)/2) * Product_{i = 1..n} ( 1 - ((1 - x)/(1 + x))^i ) ).
%F A289313 Conjectural g.f.: Sum_{n >= 0} ((1 + x)/(1 - x))^((n+1)*(2*n+1)) * Product_{i = 1..2*n} ( ((1 - x)/(1 + x))^i - 1 ).
%F A289313 a(n) ~ 2^(3*n+2) * 3^(n+1) * n^(n + 1/2) / (exp(n) * Pi^(2*n + 3/2)). - _Vaclav Kotesovec_, Aug 31 2023
%e A289313 a(2) = 10: The ten generalized row-Fishburn matrices of size 2 are
%e A289313   (+-2),
%e A289313   /+-1  0\ and  /0 +-1\
%e A289313   |      |      |     |
%e A289313   \0  +-1/      \0 +-1/.
%p A289313 G:= add(mul( ((1 + x)/(1 - x))^i - 1, i=1..n),n=0..20):
%p A289313 S:= series(G,x,21):
%p A289313 seq(coeff(S,x,j),j=0..20);
%p A289313 # _Peter Bala_, Jul 24 2017
%Y A289313 Cf. A022493, A158691, A179525, A289312.
%K A289313 nonn,easy
%O A289313 0,2
%A A289313 _Peter Bala_, Jul 02 2017