OFFSET
0,3
COMMENTS
For odd n = 2*k-1: a(n) is equal to the number of partitions of the set {1,1',2,2',...,k,k'} into disjoint nonempty subsets V1,...,Vk (1 <= k <= n) such that, for each 1 <= j <= k, if i is the least integer such that either i or i' belongs to Vj then {i,i'} is a subset of Vj (this matches A135920).
For even n = 2*k: a(n) is equal to the sum of the number of such partitions (A135920), and the total number of blocks (nonempty subsets V_j) across all such partitions (A394822).
Also generated by iterated binomial transforms in the following way:
a = BINOMIAL([1, 1, 2, 2, 5, 7, 21, 37, 126, ...]);
a = BINOMIAL^3([1, -1, 2, -6, 21, -75, 269, ...]);
a = BINOMIAL^5([1, -3, 10, -38, 165, -797, 4125, ...]);
a = BINOMIAL^7([1, -5, 26, -142, 821, -5039, 32709, ...]);
a = BINOMIAL^9([1, -7, 50, -366, 2757, -21441, 172421, ...]).
LINKS
Andrii Husiev, Extended Central Factorial Numbers and the Flickering Operator, arXiv:2605.06689 [math.GM], 2026. See pp. 10-11.
FORMULA
If n is odd (n = 2*k-1): a(n) = A135920(k).
a(n) = (2*k)! * [x^(2*k)] (cosh(2*s) + (1 - (n mod 2)) * s * sinh(2*s)) where k = floor((n+1)/2) and s = sinh(x/2).
O.g.f.: A(x) = (x+2*x^2)/(1-x^2) + (x^3+3*x^4)/((1-x^2)*(1-4*x^2)) + (x^5+4*x^6)/((1-x^2)*(1-4*x^2)*(1-9*x^2)) + (x^7+5*x^8)/((1-x^2)*(1-4*x^2)*(1-9*x^2)*(1-16*x^2)) + ...
a(n) = (1/2) * Sum_{p>=0} Sum_{q>=0} (1/(p! * q!)) * ( ((-1)^q - (-1)^p) * ((p - q + 1)/2)^n + ((-1)^q + (-1)^p) * ((p - q)/2)^n ).
E.g.f.: cosh(2*sinh(x/2)) + exp(x/2)*sinh(2*sinh(x/2)).
PROG
(Python)
from functools import cache
@cache
def T(n, k):
if k == 1 or k == n: return 1
if k < 1 or k > n: return 0
if k % 2 == 0:
if n % 2 != 0:
return 0
else:
return (2 * T(n, k-1)) // k
else:
if n % 2 == 0:
return T(n-1, k) * (k + 1) // 2
else:
term1 = T(n-1, k) * (k + 1) // 2
term2 = T(n-1, k-2) * 2 // (k - 1)
return term1 + term2
def a(n):
if n == 0: return 1
return sum(T(n, k) for k in range(1, n + 1))
print([a(n) for n in range(0, 31)])
CROSSREFS
KEYWORD
nonn
AUTHOR
Husiev Andrii Alekseevich, Apr 10 2026
STATUS
approved
