OFFSET
0,4
LINKS
Amiram Eldar, Table of n, a(n) for n = 0..10000
Amiram Eldar, Plot of (1/n^2) * Sum_{k=1..n} a(k) for n = 2^(8..23).
Florian Luca and Igor E. Shparlinski, On the g-ary expansions of middle binomial coefficients and Catalan numbers, The Rocky Mountain Journal of Mathematics, Vol. 41, No. 4 (2011), pp. 1291-1301.
FORMULA
Two formulas from Luca and Shparlinski (2011):
a(n) >= 3 for all but finitely many positive integers n.
a(n) >> eps(n) * sqrt(log(n)), for all n <= X with at most o(X) exceptions as X -> oo, where eps(n) is a function tending to zero as n -> oo.
Conjecture: Sum_{k=1..n} a(k) ~ n^2 / 2 (see the plot in the Links section).
EXAMPLE
a(10) = 6 because Catalan(10) = 16796 = 100000110011100_2, which has 6 one bits. - Vincenzo Librandi, Feb 05 2025
MATHEMATICA
a[n_] := DigitCount[CatalanNumber[n], 2, 1]; Array[a, 100, 0]
PROG
(PARI) a(n) = hammingweight(binomial(2*n, n)/(n+1));
(Magma) [&+Intseq(Catalan(n), 2): n in [0..100]]; // Vincenzo Librandi, Feb 05 2025
CROSSREFS
KEYWORD
nonn,easy,base
AUTHOR
Amiram Eldar, Dec 16 2024
STATUS
approved
