cp's OEIS Frontend

A340030 Triangle read by rows: T(n,k) is the number of hypergraphs on n labeled vertices with k edges and all vertices having even degree, 0 <= k < 2^n.

%I A340030 #24 Mar 14 2021 18:43:01
%S A340030 1,1,0,1,0,0,1,1,0,0,7,7,0,0,1,1,0,0,35,105,168,280,435,435,280,168,
%T A340030 105,35,0,0,1,1,0,0,155,1085,5208,22568,82615,247845,628680,1383096,
%U A340030 2648919,4414865,6440560,8280720,9398115,9398115,8280720,6440560,4414865,2648919,1383096,628680,247845,82615,22568,5208,1085,155,0,0,1
%N A340030 Triangle read by rows: T(n,k) is the number of hypergraphs on n labeled vertices with k edges and all vertices having even degree, 0 <= k < 2^n.
%C A340030 Hypergraphs are graphs in which an edge is connected to a nonempty subset of vertices rather than exactly two of them. An edge is a nonempty subset of vertices.
%C A340030 Equivalently, T(n,k) is the number of subsets of {1..2^n-1} with k elements such that the bitwise-xor of the elements is zero.
%C A340030 Also the coefficients of polynomials p_{n}(x) which have the representation
%C A340030   p_{n}(x) = (x + 1)^(2*(n - 1) - 1)*q_{n - 1}(x), where q_{n}(x) are the polynomials defined in A340263, and n >= 2. - _Peter Luschny_, Jan 10 2021
%H A340030 Andrew Howroyd, <a href="/A340030/b340030.txt">Table of n, a(n) for n = 0..2046</a> (rows 0..10)
%H A340030 Wikipedia, <a href="https://en.wikipedia.org/wiki/Hypergraph">Hypergraph</a>.
%F A340030 T(n,k) = (binomial(2^n-1, k) + (-1)^ceiling(k/2)*(2^n-1)*binomial(2^(n-1)-1, floor(k/2)))/2^n.
%F A340030 T(n,2*k) + T(n,2*k+1) = binomial(2^n-1, k)/2^n = A281123(n,k).
%F A340030 T(n, k) = T(n, 2^n-1-k) for n >= 2.
%e A340030 Triangle begins:
%e A340030 [0]  1;
%e A340030 [1]  1, 0;
%e A340030 [2]  1, 0, 0,  1;
%e A340030 [3]  1, 0, 0,  7,   7,   0,   0,   1;
%e A340030 [4]  1, 0, 0, 35, 105, 168, 280, 435, 435, 280, 168, 105, 35, 0, 0, 1;
%o A340030 (PARI)
%o A340030 T(n,k) = {(binomial(2^n-1, k) + (-1)^((k+1)\2)*(2^n-1)*binomial(2^(n-1)-1, k\2))/2^n}
%o A340030 { for(n=0, 5, print(vector(2^n, k, T(n,k-1)))) }
%Y A340030 Rows 3..8 are A002394, A010085, A010086, A010087, A010088, A010089.
%Y A340030 Row sums are A016031(n+1).
%Y A340030 Column k=3 gives A006095.
%Y A340030 Cf. A058878, A281123, A340312, A340263.
%K A340030 nonn,tabf
%O A340030 0,11
%A A340030 _Andrew Howroyd_, Jan 09 2021