# “Oddity” of a log-Bessel sequence happening at powers of $2$

Define the sequence $$b_1=1$$ and $$b_n=\sum_{k=1}^{n-1}\binom{n-1}k\binom{n-1}{k-1}b_kb_{n-k}.$$

By now, there is enough in the literature that $$C_n$$ is odd iff $$n=2^k-1$$ for some $$k$$ where $$C_n$$ are the Catalan numbers: $$C_0=1$$ and $$C_{n+1}=\sum_{k=0}^nC_kC_{n-k}.$$

In the same spirit, I ask:

QUESTION. is it true that $$b_n$$ is odd iff $$n=2^k$$ for some $$k$$?

The conjecture follows from the fact that, for any prime $$p$$ and any integers $$m,r$$, it holds that  $$b_{mp^r}=b_m\mod p,$$ $$b_m=0\mod p\;\;\text{for}\;\;p Take $$p=2$$ and use $$b_1=1$$ to obtain the result that $$b_m=1\mod 2$$ if and only if $$m$$ is a power of 2.
The recurrence relation allows you to interpret $$b_n$$ as a weighted sum over binary trees with $$n$$ leaves. Since the group of automorphisms of the full binary tree acts on these objects, the only way $$b_n$$ can be odd is if the action fixes one of the trees. It is easy to see that the only such fixed tree is the full binary tree itself, therefore we only need to check the parity of $$b_n$$ for $$n=2^k$$. The recurrence tells you that the contribution that comes from the full binary tree of depth $$k$$ has the same parity as the contribution from the full binary tree of depth $$k-1$$. This implies your conjecture.