A371372 a(n) = Sum_{d|2*n} binomial(4*n/d-1, 2*n/d)*phi(d)/(4*n) for n>0 with a(0)=0.

0, 1, 5, 40, 405, 4626, 56360, 716430, 9392085, 126044248, 1723083930, 23910223514, 335912566824, 4768447532200, 68291880722182, 985538181002940, 14317376105810133, 209213540276280758, 3073003751985537656, 45346188478477675122, 671920054584212646330, 9993514798883508502188

Offset

0,3

Comments

a(n) is the number of subsets of {1, 2, ..., 4*n-1} of size 2*n that sum to 3*n mod 4*n [Donderwinkel/Kolesnik].

Links

Table of n, a(n) for n=0..21.

Serte Donderwinkel and Brett Kolesnik, Asymptotics for Sinaĭ excursions, arXiv:2403.12941 [math.PR], 2024. See Table 1 p. 4.

Mathematica

Join[{0}, Table[Sum[Binomial[4*n/d - 1, 2*n/d] * EulerPhi[d] / (4*n), {d, Divisors[2*n]}], {n, 1, 20}]] (* Vaclav Kotesovec, Mar 20 2024 *)

Prog

(PARI) a(n) = if (n==0, 0, sumdiv(2*n, d, binomial(4*n/d-1, 2*n/d)*eulerphi(d))/(4*n));
(Python)
from math import comb
from sympy import totient, divisors
def A371372(n): return sum(comb((d<<1)-1, d)*totient((n<<1)//d) for d in divisors(n<<1, generator=True))//n>>2 if n else 0 # Chai Wah Wu, Mar 20 2024

Crossrefs

Cf. A333682.

Sequence in context: A152601 A079158 A061633 * A143437 A306029 A243671

Adjacent sequences: A371369 A371370 A371371 * A371373 A371374 A371375

Keyword

nonn

Author

Michel Marcus, Mar 20 2024

Status

approved