A136555 -id:A136555 - cp's OEIS frontend

A014070 a(n) = binomial(2^n, n).

1, 2, 6, 56, 1820, 201376, 74974368, 94525795200, 409663695276000, 6208116950265950720, 334265867498622145619456, 64832175068736596027448301568, 45811862025512780638750907861652480, 119028707533461499951701664512286557511680

Offset: 0

N. J. A. Sloane

a(n) is the number of n X n (0,1) matrices with distinct rows modulo rows permutations. - Yuval Dekel (dekelyuval(AT)hotmail.com), Nov 13 2003

Vincenzo Librandi, Table of n, a(n) for n = 0..60

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), this sequence (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).

Cf. A088229, A136393, A136555.

[Binomial(2^n, n): n in [0..25]]; // Vincenzo Librandi, Sep 13 2016

A014070:= n-> binomial(2^n,n); seq(A014070(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n,n],{n,0,20}] (* Vladimir Joseph Stephan Orlovsky, Mar 03 2011 *)

PARI
```
a(n)=binomial(2^n,n)
```

/* G.f. A(x) as Sum of Series: */
a(n)=polcoeff(sum(k=0,n,log(1+2^k*x +x*O(x^n))^k/k!),n) \\ Paul D. Hanna, Dec 28 2007

{a(n) = (1/n!) * sum(k=0,n, stirling(n, k, 1) * 2^(n*k) )}
for(n=0,20,print1(a(n),", ")) \\ Paul D. Hanna, Feb 05 2023

[binomial(2^n, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

G.f.: A(x) = Sum_{n>=0} log(1 + 2^n*x)^n / n!. - Paul D. Hanna, Dec 28 2007
a(n) = (1/n!) * Sum_{k=0..n} Stirling1(n, k) * 2^(n*k). - Paul D. Hanna, Feb 05 2023
From Vaclav Kotesovec, Jul 02 2016: (Start)
a(n) ~ 2^(n^2) / n!.
a(n) ~ 2^(n^2 - 1/2) * exp(n) / (sqrt(Pi) * n^(n+1/2)).
(End)

A060690 a(n) = binomial(2^n + n - 1, n).

Original entry on oeis.org

1, 2, 10, 120, 3876, 376992, 119877472, 131254487936, 509850594887712, 7145544812472168960, 364974894538906616240640, 68409601066028072105113098240, 47312269462735023248040155132636160, 121317088003402776955124829814219234385920

Offset: 0

Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 19 2001

nonn

Also the number of n X n (0,1) matrices modulo rows permutation (by symmetry this is the same as the number of (0,1) matrices modulo columns permutation), i.e., the number of equivalence classes where two matrices A and B are equivalent if one of them is the result of permuting the rows of the other. The total number of (0,1) matrices is in sequence A002416.

Row sums of A220886. - Geoffrey Critzer, Nov 20 2014

Harry J. Smith, Table of n, a(n) for n = 0..59

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), this sequence (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A002416, A060336, A088309, A163767.
Cf. A136555, A220886.
Main diagonal of A092056.
Central terms of A137153.

[Binomial(2^n +n-1, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

with(combinat): for n from 0 to 20 do printf(`%d,`,binomial(2^n+n-1, n)) od:

Table[Binomial[2^n+n-1,n],{n,0,20}] (* Harvey P. Dale, Apr 19 2012 *)

PARI
```
a(n)=binomial(2^n+n-1,n)
```

{a(n)=polcoeff(sum(k=0,n,(-log(1-2^k*x +x*O(x^n)))^k/k!),n)} \\ Paul D. Hanna, Dec 29 2007

a(n) = sum(k=0, n, stirling(n,k,1)*(2^n+n-1)^k/n!); \\ Paul D. Hanna, Nov 20 2014

from math import comb
def A060690(n): return comb((1<Chai Wah Wu, Jul 05 2024

[binomial(2^n +n-1, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = [x^n] 1/(1-x)^(2^n).
a(n) = (1/n!)*Sum_{k=0..n} ( (-1)^(n-k)*Stirling1(n, k)*2^(k*n) ). - Vladeta Jovovic, May 28 2004
a(n) = Sum_{k=0..n} (-1)^(n-k)*binomial(2^n+n,k) - Vladeta Jovovic, Jan 21 2008
a(n) = Sum_{k=0..n} Stirling1(n,k)*(2^n+n-1)^k/n!. - Vladeta Jovovic, Jan 21 2008
G.f.: A(x) = Sum_{n>=0} [ -log(1 - 2^n*x)]^n / n!. More generally, Sum_{n>=0} [ -log(1 - q^n*x)]^n/n! = Sum_{n>=0} C(q^n+n-1,n)*x^n ; also Sum_{n>=0} log(1 + q^n*x)^n/n! = Sum_{n>=0} C(q^n,n)*x^n. - Paul D. Hanna, Dec 29 2007
a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016
a(n) = A163767(2^n). - Alois P. Heinz, Jun 12 2024

More terms from James Sellers, Apr 20 2001

Edited by N. J. A. Sloane, Mar 17 2008

A136556 a(n) = binomial(2^n - 1, n).

Original entry on oeis.org

1, 1, 3, 35, 1365, 169911, 67945521, 89356415775, 396861704798625, 6098989894499557055, 331001552386330913728641, 64483955378425999076128999167, 45677647585984911164223317311276545, 118839819203635450208125966070067352769535, 1144686912178270649701033287538093722740144666625

Offset: 0

Paul D. Hanna, Jan 07 2008; Paul Hanna and Vladeta Jovovic, Jan 15 2008

nonn

Number of n x n binary matrices without zero rows and with distinct rows up to permutation of rows, cf. A014070.
Row 0 of square array A136555.
From Gus Wiseman, Dec 19 2023: (Start)
Also the number of n-element sets of nonempty subsets of {1..n}, or set-systems with n vertices and n edges (not necessarily covering). The covering case is A054780. For example, the a(3) = 35 set-systems are:
  {1}{2}{3}  {1}{2}{12}  {1}{2}{123}  {1}{12}{123}  {12}{13}{123}
             {1}{2}{13}  {1}{3}{123}  {1}{13}{123}  {12}{23}{123}
             {1}{2}{23}  {1}{12}{13}  {1}{23}{123}  {13}{23}{123}
             {1}{3}{12}  {1}{12}{23}  {2}{12}{123}
             {1}{3}{13}  {1}{13}{23}  {2}{13}{123}
             {1}{3}{23}  {2}{3}{123}  {2}{23}{123}
             {2}{3}{12}  {2}{12}{13}  {3}{12}{123}
             {2}{3}{13}  {2}{12}{23}  {3}{13}{123}
             {2}{3}{23}  {2}{13}{23}  {3}{23}{123}
                         {3}{12}{13}  {12}{13}{23}
                         {3}{12}{23}
                         {3}{13}{23}
Of these, only {{1},{2},{1,2}}, {{1},{3},{1,3}}, and {{2},{3},{2,3}} do not cover the vertex set.
(End)

			G.f.: A(x) = 1 + x + 3*x^2 + 35*x^3 + 1365*x^4 + 169911*x^5 +...
A(x) = 1/(1+x) + log(1+2*x)/(1+2*x) + log(1+4*x)^2/(2!*(1+4*x)) + log(1+8*x)^3/(3!*(1+8*x)) + log(1+16*x)^4/(4!*(1+16*x)) + log(1+32*x)^5/(5!*(1+32*x)) +...

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): this sequence (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A066384, A136555, A136557.
The covering case A054780 has binomial transform A367916, ranks A367917.
Connected graphs of this type are A057500, unlabeled A001429.
Graphs of this type are A116508, covering A367863, unlabeled A006649.
A003465 counts set-systems covering {1..n}, unlabeled A055621.
A058891 counts set-systems, connected A323818, without singletons A016031.
Cf. A055154, A059201, A133686, A367862, A367902, A367903.

[Binomial(2^n -1, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A136556:= n-> binomial(2^n-1,n); seq(A136556(n), n=0..20); # G. C. Greubel, Mar 14 2021

f[n_] := Binomial[2^n - 1, n]; Array[f, 12] (* Robert G. Wilson v *)
Table[Length[Subsets[Rest[Subsets[Range[n]]],{n}]],{n,0,4}] (* Gus Wiseman, Dec 19 2023 *)

{a(n) = binomial(2^n-1,n)}
for(n=0, 20, print1(a(n), ", "))

/* As coefficient of x^n in the g.f.: */
{a(n) = polcoeff( sum(i=0,n, 1/(1 + 2^i*x +x*O(x^n)) * log(1 + 2^i*x +x*O(x^n))^i/i!), n)}
for(n=0, 20, print1(a(n), ", "))

from math import comb
def A136556(n): return comb((1<Chai Wah Wu, Jan 02 2024

[binomial(2^n -1, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = Sum_{k=0..n} (-1)^(n-k) * binomial(2^n,k).
a(n) = (1/n!)*Sum_{k=0..n} Stirling1(n,k) * (2^n-1)^k.
G.f.: Sum_{n>=0} log(1 + 2^n*x)^n / (n! * (1 + 2^n*x)).
a(n) ~ 2^(n^2)/n!. - Vaclav Kotesovec, Jul 02 2016

Edited by N. J. A. Sloane, Jan 26 2008

A136505 a(n) = binomial(2^n + 1, n).

Original entry on oeis.org

1, 3, 10, 84, 2380, 237336, 82598880, 99949406400, 422825581068000, 6318976181520699840, 337559127276933693852160, 65182103393445184131620004864, 45946437874792132748338425828443136

Offset: 0

Paul D. Hanna, Jan 01 2008

nonn

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), this sequence (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).

Cf. A136507, A136555.

[Binomial(2^n +1, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A136505:= n-> binomial(2^n+1,n); seq(A136505(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+1,n], {n,0,15}] (* Vaclav Kotesovec, Jul 02 2016 *)

{a(n)=polcoeff(sum(i=0,n,(1+2^i*x +x*O(x^n))*log(1+2^i*x +x*O(x^n))^i/i!),n)}

[binomial(2^n +1, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

G.f.: A(x) = Sum_{n>=0} (1 + 2^n*x) * log(1 + 2^n*x)^n/n!.

a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016

A136506 a(n) = binomial(2^n + 2, n).

Original entry on oeis.org

1, 4, 15, 120, 3060, 278256, 90858768, 105637584000, 436355999662176, 6431591598617108352, 340881559632021623909760, 65533747894341651530074060800, 46081376018330435634530315478453248

Offset: 0

Paul D. Hanna, Jan 01 2008

nonn

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), this sequence (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).

Cf. A136507, A136555.

[Binomial(2^n +2, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A136506:= n-> binomial(2^n+2,n); seq(A136506(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+2,n],{n,0,20}] (* Harvey P. Dale, Jun 20 2011 *)

{a(n)=polcoeff(sum(i=0,n,(1+2^i*x +x*O(x^n))^2*log(1+2^i*x +x*O(x^n))^i/i!),n)}

[binomial(2^n +2, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

G.f.: A(x) = Sum_{n>=0} (1 + 2^n*x)^2 * log(1 + 2^n*x)^n/n!.

a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016

A132683 a(n) = binomial(2^n + n, n).

Original entry on oeis.org

1, 3, 15, 165, 4845, 435897, 131115985, 138432467745, 525783425977953, 7271150092378906305, 368539102493388126164865, 68777035446753808820521420545, 47450879627176629761462147774626305

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

			From _Paul D. Hanna_, Feb 25 2009: (Start)
G.f.: A(x) = 1 + 3*x + 15*x^2 + 165*x^3 + 4845*x^4 + 435897*x^5 + ...
A(x) = 1/(1-x) - log(1-2x)/(1-2x) + log(1-4x)^2/((1-4x)*2!) - log(1-8x)^3/((1-8x)*3!) +- ... (End)

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), this sequence (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A136555.
Cf. A066384. - Paul D. Hanna, Feb 25 2009

[Binomial(2^n +n, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A132683:= n-> binomial(2^n +n,n); seq(A132683(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+n, n], {n, 0, 15}] (* Vaclav Kotesovec, Jul 02 2016 *)

PARI
```
a(n)=binomial(2^n+n,n)
```

{a(n)=polcoeff(sum(m=0,n,(-log(1-2^m*x))^m/((1-2^m*x +x*O(x^n))*m!)),n)} \\ Paul D. Hanna, Feb 25 2009

[binomial(2^n +n, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = [x^n] 1/(1-x)^(2^n + 1).
G.f.: Sum_{n>=0} (-log(1 - 2^n*x))^n / ((1 - 2^n*x)*n!). - Paul D. Hanna, Feb 25 2009
a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016

A132684 a(n) = binomial(2^n + n + 1, n).

Original entry on oeis.org

1, 4, 21, 220, 5985, 501942, 143218999, 145944307080, 542150225230185, 7398714129087308170, 372134605932348010322571, 69146263065062394421802892300, 47589861944854471977019273909187085

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

			From _Paul D. Hanna_, Feb 25 2009: (Start)
G.f.: A(x) = 1 + 4*x + 21*x^2 + 220*x^3 + 5985*x^4 + 501942*x^5 +...
A(x) = 1/(1-x)^2 - log(1-2x)/(1-2x)^2 + log(1-4x)^2/((1-4x)^2*2!) - log(1-8x)^3/((1-8x)^2*3!) +- ... (End)

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), this sequence (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A136555.
Cf. A066384. - Paul D. Hanna, Feb 25 2009

[Binomial(2^n +n+1, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A132684:= n-> binomial(2^n +n+1, n); seq(A132684(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+n+1,n],{n,0,20}] (* Harvey P. Dale, Nov 10 2011 *)

PARI
```
a(n)=binomial(2^n+n+1,n)
```

{a(n)=polcoeff(sum(m=0,n,(-log(1-2^m*x))^m/((1-2^m*x +x*O(x^n))^2*m!)),n)} \\ Paul D. Hanna, Feb 25 2009

[binomial(2^n +n+1, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = [x^n] 1/(1-x)^(2^n + 2).
G.f.: Sum_{n>=0} (-log(1 - 2^n*x))^n / ((1 - 2^n*x)^2*n!). - Paul D. Hanna, Feb 25 2009
a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016

A132685 a(n) = binomial(2^n + 2*n, n).

Original entry on oeis.org

1, 4, 28, 364, 10626, 850668, 218618940, 198773423848, 669741609663270, 8493008777332033900, 405943250253048290447028, 72938914603968404495709630360, 49143490709866058459392200362497820

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), this sequence (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).

Cf. A136555.

[Binomial(2^n+2*n,n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A132695:= n-> binomial(2^n +2*n,n); seq(A132685(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+2n,n],{n,0,20}] (* Harvey P. Dale, Jun 01 2016 *)

PARI
```
a(n)=binomial(2^n+2*n,n)
```

[binomial(2^n+2*n,n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = [x^n] 1/(1-x)^(2^n + n + 1).

A132686 a(n) = binomial(2^n + 2*n + 1, n).

Original entry on oeis.org

1, 5, 36, 455, 12650, 962598, 237093780, 209004408899, 689960224294614, 8639439963148103450, 409865407260324119340236, 73328394245057556170201283726, 49287010273876375495535472789937580

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), this sequence (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).

Cf. A136555.

[Binomial(2^n +2*n +1, n): n in [0..20]]; // G. C. Greubel, Mar 13 2021

Table[Binomial[2^n +2*n +1, n], {n,0,20}] (* G. C. Greubel, Mar 13 2021 *)

PARI
```
a(n)=binomial(2^n+2*n+1,n)
```

[binomial(2^n +2*n +1, n) for n in (0..20)] # G. C. Greubel, Mar 13 2021

a(n) = [x^n] 1/(1-x)^(2^n + n + 2).

A132687 a(n) = binomial(2^n + 3*n - 1, n).

Original entry on oeis.org

1, 4, 36, 560, 17550, 1370754, 324540216, 267212177232, 822871715492970, 9728874233306696390, 442491588454024774291770, 76919746769405407508866898400, 50743487119356450255156023756871000

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), this sequence (3,-1), A132688 (3,0), A132689 (3,1).

Cf. A136555.

[Binomial(2^n +3*n -1, n): n in [0..20]]; // G. C. Greubel, Mar 13 2021

Table[Binomial[2^n+3n-1,n],{n,0,20}] (* Harvey P. Dale, Sep 07 2017 *)

PARI
```
a(n)=binomial(2^n+3*n-1,n)
```

[binomial(2^n +3*n -1, n) for n in (0..20)] # G. C. Greubel, Mar 13 2021

a(n) = [x^n] 1/(1-x)^(2^n + 2*n).

cp's OEIS Frontend

A014070 a(n) = binomial(2^n, n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

PARI

Sage

Formula

A060690 a(n) = binomial(2^n + n - 1, n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

PARI

Python

Sage

Formula

Extensions

A136556 a(n) = binomial(2^n - 1, n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

Python

Sage

Formula

Extensions

A136505 a(n) = binomial(2^n + 1, n).

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

A136506 a(n) = binomial(2^n + 2, n).

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

A132683 a(n) = binomial(2^n + n, n).