\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amscd}
\usepackage{graphicx}
\usepackage{tikz}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics}
\usepackage{latexsym}
\usepackage{epsf}
\usepackage{breakurl}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.1in}
\setlength{\textheight}{8.4in}

\newcommand{\seqnum}[1]{\href{https://oeis.org/#1}{\rm \underline{#1}}}

\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\Rev}{Rev}
\DeclareMathOperator{\res}{res}

\newcommand{\myboxedtext}[2][rectangle,draw,fill=white,rounded corners]{%
        \tikz[baseline=-0.6ex] \node [#1,rounded corners]{#2};}%

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

\begin{center}
\vskip 1cm{\LARGE\bf On the Central Antecedents of Integer \\
\vskip .1in
(and Other) Sequences} \vskip 1cm 
\large
Paul Barry\\
School of Science\\
Waterford Institute of Technology\\
Ireland\\
\href{mailto:pbarry@wit.ie}{\tt pbarry@wit.ie}
\end{center}

\vskip .2 in

\begin{abstract} 
With each power series $g(x)$ with $g(0) \ne 0$, we associate a power series
$G(x)$ such that
 $[x^n]G(x)^n=[x^n]g(x)$. We give examples for well-known
integer sequences, including the Catalan numbers and generalized Catalan
numbers, and explore the antecedents of rational sequences, including
the Bernoulli numbers and the harmonic numbers.
 \end{abstract}


\section{Introduction} The central coefficients of common number triangles have been objects of study over the history of mathematics. The best known such sequence is the sequence $\binom{2n}{n}$ \seqnum{A000984}, the central coefficient sequence of Pascal's triangle. It has many important properties. Germane to this note is the following property. We have
$$\binom{2n}{n}=[x^n] \frac{1}{\sqrt{1-4x}}=[x^n] (1+2x+x^2)^n.$$
We say that the sequence $1,2,1,0,0,0,\ldots$ is a \emph{central antecedent} of the sequence $\binom{2n}{n}$. In a similar way, the sequence $1,1,1,0,0,0,\ldots$ is the central antecedent of the central trinomial numbers $t_n$ \seqnum{A002426} that begin
$1, 1, 3, 7, 19, 51, 141, 393, 1107, \ldots$. In this case, we have
$$[x^n] \frac{1}{\sqrt{1-2x-3x^2}} = [x^n](1+x+x^2)^n.$$ By analogy, we say that $(1+x)^2=1+2x+x^2$ is the central antecedent of $\frac{1}{\sqrt{1-4x}}$, and that $1+x+x^2$ is the central antecedent of $\frac{1}{\sqrt{1-2x-3x^2}}$.

In general, if two generating functions are related by $[x^n]g(x)=[x^n]G(x)^n$, we shall say that $G(x)$ is a \emph{central antecedent} of $g(x)$. If under these circumstances we have $b_n=[x^n]G(x)$, we shall say that the sequence $b_n$  is a \emph{central antecedent sequence} of the sequence $a_n=[x^n]g(x)$.

In the sequel, we shall identify integer sequences by their sequence number in the {\it On-Line Encyclopedia of Integer Sequences} \cite{SL1, SL2}.

Another perspective on the above is given by the following diagonalization formula \cite{MC}. Given two power series
$$g(x)=g_0+g_1 x + g_2 x^2+ \ldots,$$ and
$$f(x)=f_0+f_1 x + f_2 x^2+\ldots,$$ we have
$$[x^n] g(x)f(x)^n =[x^n]\left[\frac{g(w)}{1-xf'(w)} | w = xf(w)\right].$$
The terms $[x^n] g(x)f(x)^n$ then correspond to the diagonal terms of the matrix whose $(n,k)$-term is given by
$$[x^n] g(x)f(x)^k.$$
We now note that
$$[x^n]g(x)f(x)^n = [x^{2n}] g(x)(xf(x))^n,$$ thus expressing the terms $[x^n]g(x)f(x)^n$ as the ``central'' terms of the lower-triangular matrix with $(n,k)$-term $[x^n] g(x)(xf(x))^k$. We have opted to use the term ``central'' in this context, although, as pointed out by a reviewer, the term ``diagonal'' could have been used with equal justification.

We note that in the diagonalization formula above, we have the condition $w = xf(w)$ which defines the power series $w(x)$. In fact, we have
$$w = xf(w) \Longrightarrow \frac{w}{f(w)}=x \Longrightarrow w(x)=\Rev\left(\frac{x}{f}\right)(x),$$ where 
$\Rev{F}(x)$ denotes the compositional inverse of $F(x)$, often denoted by $\bar{F}(x)$ or $F^{\langle -1 \rangle}(x)$. Thus we have 
$$[x^n]g(x)f(x)^n=[x^n] \frac{g(\Rev\left(\frac{x}{f}\right))}{1-xf'\left(\Rev\left(\frac{x}{f}\right)\right)}.$$
\begin{example}
We let $g(x)=\frac{1}{\sqrt{1-4x}}$, and $f(x)=\frac{1}{1-x}$. The matrix with $(n,k)$-term $[x^n]g(x)f(x)^k$ begins
$$\left(
\begin{array}{ccccccc}
 \mathbf{1} & 1 & 1 & 1 & 1 & 1 & 1 \\
 2 & \mathbf{5} & 8 & 11 & 14 & 17 & 20 \\
 6 & 21 & \mathbf{45} & 78 & 120 & 171 & 231 \\
 20 & 83 & 218 & \mathbf{452} & 812 & 1325 & 2018 \\
 70 & 319 & 973 & 2329 & \mathbf{4765} & 8740 & 14794 \\
 252 & 1209 & 4128 & 11115 & 25410 & \mathbf{51630} & 96012 \\
 924 & 4551 & 16935 & 50280 & 126510 & 281400 & \mathbf{569436} \\
\end{array}
\right),$$ 
while the lower-triangular matrix with $(n,k)$-term $[x^n]g(x)(xf(x))^k$ begins
$$\left(
\begin{array}{ccccccc}
 \mathbf{1} & 0 & 0 & 0 & 0 & 0 & 0 \\
 2 & 1 & 0 & 0 & 0 & 0 & 0 \\
 6 & \mathbf{5} & 1 & 0 & 0 & 0 & 0 \\
 20 & 21 & 8 & 1 & 0 & 0 & 0 \\
 70 & 83 & \mathbf{45} & 11 & 1 & 0 & 0 \\
 252 & 319 & 218 & 78 & 14 & 1 & 0 \\
 924 & 1209 & 973 & \mathbf{452} & 120 & 17 & 1 \\
\end{array}
\right).$$ 
We have $f'(x)=\frac{3}{(1-3x)^2}$ and $\Rev\left(\frac{x}{f(x)}\right)=\frac{1-\sqrt{1-12x}}{6}$. 
Then we find that 
$$[x^n]g(x)f(x)^n=[x^{2n}]g(x)(xf(x))^n=[x^n]\frac{\sqrt{3}(1-12x+\sqrt{1-12x})}{2(1-12x)\sqrt{1+2\sqrt{1-12x}}}.$$
We infer that the sequence that begins $1, 5, 45, 452, 4765, 51630,\ldots$ has generating function 
$$\frac{\sqrt{3}(1-12x+\sqrt{1-12x})}{2(1-12x)\sqrt{1+2\sqrt{1-12x}}}.$$
 \end{example}
Historically, the coefficients $\binom{2n}{n}$ are called the central binomial coefficients because they appear as the central numbers of Pascal's triangle when this is displayed as a pyramid. 
$$\begin{array}{ccccccccccccc}
 & & & & & & \myboxedtext{1} & & & & & & \\
 & & & & & 1&  &1 & & & & & \\
 & & & & 1& &  \myboxedtext{2} & &1 & & & & \\
 & & &1 & &3 &  &3 & &1 & & & \\
 & & 1& &4 & &  \myboxedtext{6} & &4 & &1 & & \\
 & 1& &5 & &10 &  &10 & &5 & & 1& \\
 1 & & 6 & & 15 & &  \myboxedtext{20} & & 15 &  & 6 & & 1
\end{array} $$

\section{An example from Henrici}
Henrici \cite{H1} gives the example of the use of Lagrange inversion to derive $g(x)$ from $G(x)$ in the case of the trinomial numbers $t_n=[x^n](1+x+x^2)^n$. The version of Lagrange inversion used for this takes the following form.
\begin{proposition} \cite[Corollary 1.9c p.\ 59]{H1} For $S \in \mathbb{K}[[x]]$ and $P \in x\mathbb{K}[[x]]$, with $Q=P^{\langle -1 \rangle}$, we have
$$(S \circ Q)Q'=\sum_{n=0}^n \res(SP^{-n-1})x^n.$$
\end{proposition}
Here, the coefficient $a_1$ of $x^{-1}$ in a Laurent series $L=\sum_{k=0}^{\infty} a_k x^k$ is called the \emph{residue} of $L$, denoted by $\res(L)$. The notation $Q=P^{\langle -1 \rangle}$ means that $Q$ is the compositional inverse of $P$. The field $\mathbf{K}$ is assumed to be of characteristic zero. We then have
$$[x^n](1+x+x^2)^n=\res[x^{-n-1}(1+x+x^2)^n]=\res(SP^{-n-1}),$$ where
$$S(x)=\frac{1}{1+x+x^2}, \quad\text{and}\quad P(x)=\frac{x}{1+x+x^2}.$$ From this we infer that
$$\frac{1+Q+Q^2}{Q}=x,$$ which we may solve for $Q$ to get
$$Q=\frac{2x}{1-x+\sqrt{1-2x-3x^2}}.$$
Then
$$(S\circ Q)(x)=S(Q(x))=\frac{1}{1+Q+Q^2}=\frac{x}{Q}=\frac{1-x+\sqrt{1-2x-3x^2}}{2}.$$
Thus we have
$$(S\circ Q)Q'=\frac{1-x+\sqrt{1-2x-3x^2}}{2} \cdot \frac{1-x-\sqrt{1-2x-3x^2}}{2x^2\sqrt{1-2x-3x^2}}=\frac{1}{\sqrt{1-2x-3x^2}}.$$
This then gives an example of going from $G(x)$ to $g(x)$. In this note, the emphasis will be on going in the other direction.

\section{The main results}
 We shall use the techniques of Lagrange inversion \cite{LI} and the method of coefficients \cite{MC}. We need the following version of Lagrange inversion in the sequel \cite{H2, LI, Stanley_2}. We use the notation $\Rev(P)=P^{\langle -1 \rangle}$, the compositional inverse of $P$.
\begin{theorem} (Lagrange-B\"urmann inversion). Suppose that a formal power series $w = w(t)$
is implicitly defined by the relation $w = t \phi(w)$, where $\phi(t)$ is a formal power series such that
$\phi(0) \ne 0$. Then, for any formal power series $F(t)$,
$$[t^n]F(w(t))=\frac{1}{n}[t^{n-1}] F'(t)(\phi(t))^n.$$
\end{theorem}
\noindent A consequence of this is that if $v(x)=\sum_{n\ge 0}v_n x^n$ is a power series with $v_0=0$, $v_1 \ne 0$, we have
$$[x^n] F(\Rev(v))=\frac{1}{n} [x^{n-1}] F'(x) \left(\frac{x}{v}\right)^n.$$
\begin{proposition} We have
$$[x^n]\left(1+x\frac{d}{dx} \ln\left(\frac{1}{x} \Rev(f(x))\right)\right)=[x^n]\left(\frac{x}{f(x)}\right)^n.$$
\end{proposition}
\begin{proof}
We have
\begin{align*}
[x^n]\left(1+x\frac{d}{dx} \ln\left(\frac{1}{x} \Rev(f(x))\right)\right)&=0+[x^{n-1}] \frac{d}{dx}\ln\left(\frac{1}{x} \Rev(f(x))\right)\\
&= n[x^n] \ln\left(\frac{1}{x} \Rev(f(x))\right)\\
&= n[x^n] \left(\ln\left(\Rev(f(x))\right)-\ln(x)\right)\\
&= n\cdot \frac{1}{n}[x^{n-1}]\frac{1}{x} \left(\frac{x}{f(x)}\right)^n - \frac{n}{n}[x^{n-1}]\frac{1}{x}(1)^n\\
&= [x^n] \left(\frac{x}{f(x)}\right)^n - [x^n].1\\
&= [x^n] \left(\frac{x}{f(x)}\right)^n.\end{align*}
\end{proof}
\begin{corollary} If $[x^n]g(x)=[x^n]G(x)^n$, then we have
$$g(x)=1+x \frac{d}{dx} \ln\left(\frac{1}{x}\Rev\left(\frac{x}{G(x)}\right)\right).$$
\end{corollary}
\begin{theorem} Let $g(x)$ be a power series with $g(0)\ne 0$. Then the central antecedent $G(x)$ of $g(x)$, which satisfies $[x^n]G(x)^n=[x^n]g(x)$, is given by
$$G(x)=\frac{x}{\Rev\left(x e^{\int_0^x \frac{g(t)-1}{t}}\,dt \right)}.$$
\end{theorem}
\begin{example}
We take the example of $\binom{2n}{n}=[x^n]\frac{1}{\sqrt{1-4x}}$. We have the following steps.
\begin{enumerate}
\item Set $g(x)=\frac{1}{\sqrt{1-4x}}$.
\item Form $\frac{g(x)-1}{x}=\frac{1-\sqrt{1-4x}}{x \sqrt{1-4x}}$.
\item Carry out the integration $\int_0^x \frac{g(t)-1}{t}\,dt=-2 \ln\left(\frac{1+\sqrt{1-4x}}{2}\right)$.
\item Calculate $xe^{-2 \ln\left(\frac{1+\sqrt{1-4x}}{2}\right)}=\frac{1-2x-\sqrt{1-4x}}{2x}=c(x)-1$.
\item Revert $\frac{1-2x-\sqrt{1-4x}}{2x}$ to get $\frac{x}{(1+x)^2}$.
\item Calculate $G(x)=\frac{x}{\frac{x}{(1+x)^2}}=(1+x)^2$.
\end{enumerate}
In this list, we have used
$$c(x)=\frac{1-\sqrt{1-4x}}{2x}$$ which is the generating function of the Catalan numbers $C_n=\frac{1}{n+1} \binom{2n}{n}$ \seqnum{A000108}.
It is instructive to visualize the sequences encountered in this list of operations. Thus we have
\begin{enumerate}
\item $1, 2, 6, 20, 70, 252, 924, 3432, \ldots$.
\item $ 2, 6, 20, 70, 252, 924, 3432, \ldots$.
\item $0,2,3,\frac{20}{3},\frac{35}{2}, \frac{252}{5},154,\ldots$.
\item $1, 2, 5, 14, 42, 132, 429,\ldots$.
\item $0, 1, -2, 3, -4, 5, -6, 7, \ldots$.
\item $1,2,1,0,0,0,\ldots$.
\end{enumerate}
We conclude that
$$\binom{2n}{n}=[x^n]\frac{1}{\sqrt{1-4x}}=[x^n](1+x)^{2n}.$$
\end{example}

\begin{example} We now take the example of $g(x)=\frac{1}{\sqrt{1-2x-3x^2}}$, the generating function of the central trinomial coefficients $t_n$ \cite{Noe}. We have the following list of operations.
\begin{enumerate}
\item Set $g(x)=\frac{1}{\sqrt{1-2x-3x^2}}$.
\item Form $\frac{g(x)-1}{x}=\frac{1-\sqrt{1-2x-3x^2}}{x \sqrt{1-2x-3x^2}}$.
\item Carry out the integration $\int_0^x \frac{g(t)-1}{t}\,dt=\ln\left(\frac{-1+x+\sqrt{1-2x-3x^2}}{2}\right)-2 \ln(x)-\pi i \sgn(x)$.
\item Calculate $x e^{\ln\left(\frac{-1+x+\sqrt{1-2x-3x^2}}{2}\right)-2 \ln(x)-\pi i \sgn(x)}=\frac{1-x-\sqrt{1-2x-3x^2}}{2x}=xm(x)$.
\item Revert $x m(x)$ to get $\frac{x}{1+x+x^2}$.
\item Calculate $G(x)=\frac{x}{\frac{x}{1+x+x^2}}=1+x+x^2$.
\end{enumerate}
In this list, we have
$$m(x)=\frac{1-x-\sqrt{1-2x-3x^2}}{2x^2}.$$ This is the generating function of the Motzkin numbers $M_n=\sum_{k=0}^{\lfloor \frac{n}{2} \rfloor} \binom{n}{2k}C_k$.


We conclude that
$$t_n=[x^n]\frac{1}{\sqrt{1-2x-3x^2}}=[x^n](1+x+x^2)^n.$$
\end{example}
\section{The central antecedent of $1,r,r,r,\ldots$}
In this section, we shall explore the antecedent of the sequence
$$1,r,r,r,\ldots$$ with generating function $1+rx/(1-x)$.
\begin{proposition} The central antecedent of the sequence $1,r,r,r,\ldots$ has generating function
$$\frac{1}{\sum_{n=0}^{\infty} \frac{(-1)^n \binom{(n+1)r}{n}x^n}{n+1}}.$$
\end{proposition}
\begin{proof}
Let $g(x)=1+\frac{rx}{1-x}$. Then
$$\frac{g(x)-1}{x}=\frac{r}{1-x}.$$
We have
$$\int_0^x \frac{r}{1-t}\,dt= -r \ln(x-1)+\pi i r.$$
Then
$$e^{\int_0^x \frac{r}{1-t}\,dt}=\frac{1}{(1-x)^r}.$$
The reversion of $\frac{x}{(1-x)^r}$ is now given by $x\sum_{n=0}^{\infty} \frac{(-1)^n \binom{(n+1)r}{n}x^n}{n+1}$.
The statement of the proposition now results from this.
\end{proof}

\section{The antecedent of $\frac{1+(a-b)x}{(1+ax)^2}$}
We let
$$g(x)=\frac{1+(a-b)x}{(1+ax)^2}.$$
In order to find the central antecedent of $g(x)$, we have the following list of operations.
\begin{enumerate}
\item Set $g(x)=\frac{1+(a-b)x}{(1+ax)^2}$.
\item Form $\frac{g(x)-1}{x}=-\frac{a+b+a^2x}{(1+ax)^2}$.
\item Carry out the integration $\int_0^x \frac{g(t)-1}{t}\,dt=-\ln(1+ax)-\frac{bx}{1+ax}$.
\item Calculate $x e^{-\ln(1+ax)-\frac{bx}{1+ax}}=\frac{x e^{\frac{bx}{1+ax}}}{1+ax}$.
\item Revert $\frac{x e^{\frac{bx}{1+ax}}}{1+ax}$ to get $\frac{-xW(-x)}{-axW(-x)-bx}$.
\item Calculate $G(x)=\frac{x}{\frac{-xW(-x)}{-axW(-x)-bx}}=-ax-\frac{bx}{W(-x)}$.
\end{enumerate}
Here, $W(x)$ is the Lambert function \cite{Lambert}, given by the reversion of $x e^x$ (we use the principal branch $W_0$). We then have the following proposition.
\begin{proposition} We have
$$[x^n] \frac{1+(a-b)x}{(1+ax)^2} = [x^n]\left(-ax-\frac{bx}{W(-x)}\right)^n.$$
\end{proposition}
\begin{example}
When $a=b=-1$, we have $g(x)=\frac{1}{(1-x)^2}$, the generating function of the counting numbers $1,2,3,\ldots$ \seqnum{A000027}.
Thus we have
$$n+1=[x^n]\frac{1}{(1-x)^2}=[x^n]\left(x+\frac{x}{W(-x)}\right)^n.$$
More generally, we have
$$ rn+1=[x^n] \frac{1+(r-1)x}{(1-x)^2}=[x^n] \left(x + \frac{rx}{W(-x)}\right)^n.$$
\end{example}

\section{The case $G(x)=1+ a x + b x^2$}
\begin{proposition} We have
$$[x^n](1+a x+ b x^2)^n= [x^n] \frac{1}{\sqrt{1-2ax+(a^2-4b)x^2}}.$$
\end{proposition}
\begin{proof}
We let $G(x)=1+ax+bx^2$. Then
$$\frac{1}{x}\Rev\frac{x}{G(x)}=\frac{1-ax-\sqrt{1-2ax+(a^2-4b)x^2}}{2bx^2}.$$
It follows that
$$g(x)=1+x \frac{d}{dx} \ln\left(\frac{1}{x}\Rev\left(\frac{x}{G(x)}\right)\right)=\frac{1}{\sqrt{1-2ax+(a^2-4b)x^2}}.$$
\end{proof}
The sequences $u_n=[x^n](1+a x+ b x^2)^n= [x^n] \frac{1}{\sqrt{1-2ax+(a^2-4b)x^2}}$ are well documented in the literature, as they have many interesting properties \cite{Noe}. For instance,
\begin{enumerate}
\item They have exponential generating function $I_0(2\sqrt{b}x)e^{ax}$
\item They are moment sequences with $u_n=\frac{1}{\pi}\int_{a-2\sqrt{b}}^{a+2\sqrt{b}} \frac{x^n}{\sqrt{-x^2+2ax-a^2+4b}}\,dx$
\item The generating function $g(x)$ has the following continued fraction expression
$$g(x)=\cfrac{1}{1-ax-\cfrac{2bx^2}{1-ax-\cfrac{bx^2}{1-ax-\cfrac{bx^2}{1-ax-\cdots}}}}.$$
\end{enumerate}

\section{The Catalan numbers}
We have the following result concerning the central antecedent for the Catalan numbers.
\begin{proposition}
We have
$$C_n=[x^n]\left(2x-xW(-x)-\frac{x}{W(-x)}\right)^n.$$
\end{proposition}
\begin{proof}
We proceed with the following steps.
\begin{enumerate}
\item Set $g(x)=c(x)=\frac{1-\sqrt{1-4x}}{2x}$.
\item Form $\frac{g(x)-1}{x}=\frac{c(x)-1}{x}=c(x)^2$.
\item Carry out the integration $\int_0^x c(t)^2\,dt=-2\ln\left(\frac{1+\sqrt{1-4x}}{2}\right)+\frac{\sqrt{1-4x}+2x-1}{2x}$.
\item Calculate $\exp\left(-2\ln\left(\frac{1+\sqrt{1-4x}}{2}\right)+\frac{\sqrt{1-4x}+2x-1}{2x}\right)=e^{-\frac{1-2x-\sqrt{1-4x}}{2x}}\frac{1-2x-\sqrt{1-4x}}{2x}$.
\item Revert $xe^{-\frac{1-2x-\sqrt{1-4x}}{2x}}\frac{1-2x-\sqrt{1-4x}}{2x}$ to get $\frac{x}{G(x)}$.
\end{enumerate}
\end{proof}
We can also write this result as
$$C_n=[x^n] \left(\frac{-x(1-W(-x))^2}{W(-x)}\right)^n.$$
We have
$$C_n=[x^n]\left(1+x+\frac{x^2}{2}+\frac{x^3}{3}+\frac{3x^4}{8}+\frac{8x^5}{15}+\frac{125x^6}{144}+\cdots\right)^n.$$
We note that we have
$$\binom{2n+1}{n+1}=[x^n] \left(\frac{x(1+W(-x))^2}{W(-x)}\right)^n.$$
Compare this with
$$n+1=[x^n]\left(\frac{x(1+W(-x))}{W(-x)}\right)^n,$$
while
$$1-n=[x^n]\left(\frac{x(1-W(-x))}{W(-x)}\right)^n.$$
It is possible to generalize this result in two directions. The first is to replace the specific quadratic $(1-W(-x))^2$ by the more general quadratic $1-aW(-x)-bW(-x)^2$.
We find that the terms
$$[x^n] \left(\frac{-x(1-aW(-x)-bW(-x)^2)}{W(-x)}\right)^n,$$ which begin
$$1,a-1,a^2-2 a-2 b,a^3-3 a^2-6 a b+3 b,a^4-4 a^3-12 a^2 b+12 a b+6 b^2,\ldots,$$
can be represented by
$$\left(
\begin{array}{cccccc}
 1 & 0 & 0 & 0 & 0 & 0 \\
 -1 & 1 & 0 & 0 & 0 & 0 \\
 -2 b & -2 & 1 & 0 & 0 & 0 \\
 3 b & -6 b & -3 & 1 & 0 & 0 \\
 6 b^2 & 12 b & -12 b & -4 & 1 & 0 \\
 -10 b^2 & 30 b^2 & 30 b & -20 b & -5 & 1 \\
  &  & \vdots &  &  &  \\
\end{array}
\right)\left(\begin{array}{c}1\\a\\a^2\\a^3\\a^4\\a^5\\\vdots\\\end{array}\right).
$$
The matrix is the exponential Riordan array \cite{Book} $[I_0(2 i \sqrt{b}x)-\frac{I_1(2i\sqrt{b}x)}{i\sqrt{b}},x]$ and so we have
$$[x^n] \left(\frac{-x(1-aW(-x)-bW(-x)^2)}{W(-x)}\right)^n=n! [x^n] \left(I_0(2 i \sqrt{b}x)-\frac{I_1(2i\sqrt{b}x)}{i\sqrt{b}}\right)e^{ax},$$ or equivalently
$$[x^n]  \left(\frac{-x(1-aW(-x)-bW(-x)^2)}{W(-x)}\right)^n=[x^n] \frac{1-(a-2b)x-\sqrt{1-2ax+(a^2+4b)x^2}}{2bx \sqrt{1-2ax+(a^2+4b)x^2}}.$$
The general term of the sequence $1,a-1,a^2-2 a-2 b,a^3-3 a^2-6 a b+3 b,\ldots$
is given by
$$\sum_{k=0}^n \binom{n}{k}\binom{n-k}{\lfloor \frac{n-k}{2} \rfloor}b^{\lfloor \frac{n-k}{2} \rfloor}(-1)^{\binom{n-k+1}{2}}a^k.$$
For instance, the Motzkin sums \seqnum{A005043} that begin
$$1, 0, 1, 1, 3, 6, 15, 36, 91, 232, 603, 1585, 4213,\ldots,$$ are given by $a=1, b=-1$ and hence the terms of this sequence are given by
$$[x^n] \left(\frac{-x(1-W(-x)+W(-x)^2)}{W(-x)}\right)^n.$$
Similarly the binomial transform of the Catalan numbers \seqnum{A007317}, which begins
$$	1, 2, 5, 15, 51, 188, 731, 2950, 12235,\ldots,$$ has its general term given by
$$[x^n] \left(\frac{-x(1-3W(-x)+W(-x)^2)}{W(-x)}\right)^n.$$

The other direction for generalization is to modify $(1-W(-x))^2$ to $(1-W(-x))^m$.
We then have the following conjecture.
\begin{conjecture}
We have
$$[x^n] g_m(x)=[x^n] \left(\frac{-x(1-W(-x))^m}{W(-x)}\right)^n,$$ where
$g_m(x)$ is the generating function of the central coefficients $\frac{(m-2)n+1}{(m-1)n+1}\binom{mn}{n}$ of the Riordan array $\left(c(x), xc(x)^{m-2}\right)$.
\end{conjecture}
For $m=0,\ldots, 5$ we get the sequences
$$\begin{array}{ccccccccccc}
 1 & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
 1 & 0 & -1 & -2 & -3 & -4 & -5 & -6 & -7 & -8 & -9 \\
 1 & 1 & 2 & 5 & 14 & 42 & 132 & 429 & 1430 & 4862 & 16796 \\
 1 & 2 & 9 & 48 & 275 & 1638 & 9996 & 62016 & 389367 & 2466750 & 15737865 \\
 1 & 3 & 20 & 154 & 1260 & 10659 & 92092 & 807300 & 7152444 & 63882940 & 574221648 \\
 1 & 4 & 35 & 350 & 3705 & 40480 & 451269 & 5101360 & 58261125 & 670609940 & 7766844470 \\
\end{array}
$$
The sequence $\frac{(m-2)n+1}{(m-1)n+1}\binom{mn}{n}$ counts standard Young tableaux of shape $[(m-1)n,n]$.
Note that we also have
$$[x^n] g_m(x)=[x^n] c(x)^{(m-2)n+1}.$$ The number array above is essentially \seqnum{A214776}.
\section{Divisors and partitions}
We define the sequence $\sigma_n^*$ as follows.
$$\sigma_n^*=0^n+\sum_{d=0}^n [d|n]d.$$
Here, we have used the Iverson notation \cite{Concrete} $[\mathcal{P}]=1$ if the statement $\mathcal{P}$ is true, otherwise the value is $0$. The sequence $\sigma_n^*$ (essentially \seqnum{A000203}) begins
$$1, 1, 3, 4, 7, 6, 12, 8, 15, 13, 18,\ldots.$$
Setting $g(x)=\sum_{n=0}^{\infty} \sigma_n^* x^n$, we have
$$g(x)=1- \frac{x \frac{d}{dx} \prod_{k=1}^{\infty} (1-x^k)}{\prod_{k=1}^{\infty} (1-x^k)}.$$
Thus we have
$$\frac{g(x)-1}{x}= \frac{ \frac{d}{dx} \prod_{k=1}^{\infty} (1-x^k)}{\prod_{k=1}^{\infty} (1-x^k)}.$$
We then have
$$e^{{\int_0^x} \frac{g(t)-1}{t}\,dt} = \pi(x)=\prod_{k=1}^{\infty} \frac{1}{1-x^k}.$$
This is the  generating function of the partition numbers $\pi(x)=\sum_{n=0}^{\infty}p_n x^n$ \seqnum{A000041}.
Thus we have the following proposition.
\begin{proposition} Let
$$\sigma_n^*=0^n+\sum_{d=0}^n [d|n]d,$$ and let $\pi(x)=\sum_{n=0}^{\infty}p_n x^n$ where $p_n$ are the partition numbers. Then we have
$$\sigma_n^*=[x^n]\left(1- \frac{x \frac{d}{dx} \prod_{k=1}^{\infty} (1-x^k)}{\prod_{k=1}^{\infty} (1-x^k)}\right)=[x^n]\left(\frac{x}{\Rev(x \pi(x))}\right)^n.$$
\end{proposition}
Numerically, we have
$$\sigma_n^*=[x^n](1-x+2x^3-3x^4+5x^6-21x^8+14x^9+117x^{10}+\cdots)^n.$$
The central antecedent sequence of the partition numbers begins
$$1,1,\frac{1}{2}, -\frac{1}{3}, \frac{1}{8}, -\frac{2}{15}, \frac{71}{144}, -\frac{11}{10}, \frac{9583}{5760},\ldots.$$

\section{The J. C. P. Miller recurrence}
The J. C. P. Miller recurrence \cite{H1, Finkel, Z} gives a method to calculate the coefficients of the power series $f(x)^n$ knowing the coefficients of $f(x)$. Thus assume that
$$f(x)^n = \sum_{k=0}^{Nn} c_k x^k$$ where $f(x)=\sum_{k=0}^N a_k x^k$, where $N$ could be $\infty$ and $a_0 \ne 0$, then we have
$$c_0=a_0^n,\quad c_k=\frac{1}{ka_0} \sum_{j=1}^N ((n+1)j-k)a_j c_{n-j}.$$
We reproduce the proof by Zeilberger \cite{Finkel, Z}. The term $c_k$ is the coefficient of $x^0$ in the Laurent series expansion of $\frac{f(x)^n}{x^k}$. For any Laurent series $g(x)$, the coefficient of $x^0$ in $x \frac{d}{dx}g(x)$ is zero. Thus
\begin{scriptsize}
\begin{align*} 0&=[x^0] x \frac{d}{dx} \frac{f(x)^{n+1}}{x^k}\\
&=[x^0]\left((-k(a_0+a_1x+\cdots+a_Nx^N)\frac{f(x)^n}{x^k}+(n+1)(a_1+2a_2x+\cdots+Na_Nx^{N-1})\frac{f(x)^n}{x^{k-1}}\right)\\
&=[x^0]\left(-k\left(a_0 \frac{f(x)^n}{x^k}+a_1 \frac{f(x)^n}{x^{k-1}}+\cdots+a_N\frac{f(x)^n}{x^{k-N}}\right)+(n+1)\left(a_1 \frac{f(x)^n}{x^{k-1}}+2a_2\frac{f(x)^n}{x^{k-2}}+\cdots+Na_N\frac{f(x)^n}{x^{k-N}}\right)\right)\\
&=-k(a_0c_k+a_1c_{k-1}+\cdots+a_Nc_{k-N})+(n+1)(a_1 c_{k-1}+2a_2c_{k-2}+\cdots+ Na_Nc_{k-N}).\end{align*}
\end{scriptsize}
The recurrence follows from this.

We can use this recurrence to iteratively calculate the elements $[x^n] G(x)^n$.
\begin{example} We let $G(x)=\sum_{n=0}^{\infty} C_n x^n$ be the generating function of the Catalan numbers. We wish to calculate $[x^n]G(x)^n$. 
To this end, we let
$$c(n,k)=\begin{cases} 1, & \quad\text{if } n=0;\\
\frac{1}{n} \sum_{j=1}^n (kj-j-n)C_j c(n-j,k), & \quad \text{otherwise}.
\end{cases}$$
Then $[x^n]G(x)^n$ is given by $c(n,n)$. In this case, we obtain the sequence $\binom{3n-1}{2n}$ which begins
$$1, 1, 5, 28, 165, 1001, 6188, 38760, 245157, 1562275 \ldots.$$ This is essentially \seqnum{A025174}. The numbers $c(n,n)$ are the central coefficients of the Riordan array $(1, xc(x))$.
$$\left(
\begin{array}{ccccccccc}
\mathbf{1} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
 0 & \mathbf{1} & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\
 0 & 2 & 2 & 1 & 0 & 0 & 0 & 0 & 0 \\
 0 & 5 & \mathbf{5} & 3 & 1 & 0 & 0 & 0 & 0 \\
 0 & 14 & 14 & 9 & 4 & 1 & 0 & 0 & 0 \\
 0 & 42 & 42 &\mathbf{28} & 14 & 5 & 1 & 0 & 0 \\
 0 & 132 & 132 & 90 & 48 & 20 & 6 & 1 & 0 \\
 0 & 429 & 429 & 297 & \mathbf{165} & 75 & 27 & 7 & 1 \\
\end{array}
\right).$$
\end{example}


\section{Some numerical results}
\begin{example}
The Bernoulli numbers $B_n$ can be defined by
$$B_n=\sum_{k=0}^n \frac{1}{k+1} \sum_{i=0}^n (-1)^i \binom{k}{i}i^n.$$
They begin $$1,-\frac{1}{2}, \frac{1}{6},0,-\frac{1}{30},0,\frac{1}{42},0,-\frac{1}{30},0,\ldots.$$
Letting $g(x)=\sum_{k=0}^n B_k x^k$ and proceeding as above will allow us to find the first $n+1$ terms of the central antecedent of the Bernoulli numbers.
We can proceed as follows. For a given $n \ge 0$, we
\begin{enumerate}
\item Set $g(x)=\sum_{k=0}^n B_k x^k$.
\item Form $\frac{g(x)-1}{x}=\sum_{k=1}^n B_k x^k$.
\item Carry out the integration $\int_0^x \frac{g(t)-1}{t}\,dt=\sum_{k=1}^n B_k \frac{x^{k+1}}{k}$.
\item Evaluate  $x e^{\sum_{k=1}^n B_k \frac{x^{k+1}}{k}}$ and revert.
\end{enumerate}
For fixed $n$, we can carry out this reversion as follows. We form the Riordan array
$(1, f(x))$ \cite{SGWW} where $f(x)$ is the $n$-degree polynomial that approximates $x e^{\sum_{k=1}^n B_k \frac{x^{k+1}}{k}}$. We invert this Riordan array and it follows that the elements of the second ($k=1$) column of the inverse matrix are the Taylor series coefficients of the $n$-degree polynomial that approximates the reversion sought. Shifting this once (division by $x$) and taking the reciprocal then gives us the first $n$ Taylor series coefficients of the antecedent power series, or equivalently, the first $n$ terms of the central antecedent sequence of the Bernoulli numbers.

We find in this manner that the central antecedent sequence of the Bernoulli numbers begins
$$1, -\frac{1}{2}, -\frac{1}{24}, 0, \frac{3}{640}, 0, -\frac{1525}{580608}, 0, \frac{615881}{199065600},0,\ldots.$$
\end{example}

\begin{example} The harmonic numbers $\sum_{k=1}^n \frac{1}{k}$ for $k=1,2,\ldots$ begin
$$1,\frac{3}{2},\frac{11}{6},\frac{25}{12},\frac{137}{60},\frac{49}{20},\frac{363}{140},\frac{761}{280},\ldots.$$ Proceeding as before, we find that the central antecedent sequence of the harmonic numbers begins
$$1, \frac{3}{2}, -\frac{5}{24}, \frac{7}{36}, -\frac{439}{1920}, \frac{1631}{5400}, -\frac{41483}{967680}, \frac{14977}{23520},\ldots.$$
\end{example}

\section{Conclusion} 
We have shown that given a generating function $g(x)$ where $g(0) \ne 0$, we can associate with it a so-called ``central antecedent'' $G(x)$ so that
$$[x^n] g(x)=[x^n] G(x)^n.$$ Examples have been given for common sequences. For certain integer sequences, the antecedent sequence is again an integer sequence. But this is not always the case, as is evidenced for instance by the Catalan numbers. An interesting problem that remains is to characterize those integer sequences whose central antecedents are also integer sequences.

\section{Acknowledgments} The author would like to thank the anonymous reviewers for their suggestions, on using the diagonalization formula, and of using the Henrici example at the beginning of this note. It is interesting to note that Henrici \cite{H1} uses the Riordan arrays $(1, f(x))$ to prove the associativity of composition for composable power series. This is an early use of Riordan arrays before the term was ``Riordan array'' was introduced \cite{SGWW}.

\begin{thebibliography}{9}

\bibitem{Book} P. Barry, \emph{Riordan Arrays: a Primer}, Logic Press, 2017.

\bibitem{Lambert}  R. M. Corless, G. H. Gonnet, D. E. G. Hare,
D. J. Jeffrey, and D. E. Knuth, On the Lambert $W$ function,
\emph{Adv. Comput. Math.} \textbf{5} (1996), 329-–359.

\bibitem{Finkel} H. Finkel, 
The differential transformation method and Miller's recurrence,
preprint available at \url{https://arxiv.org/abs/1007.2178}, 2010.

\bibitem{Gessel} I. M. Gessel, Lagrange inversion,
preprint available at \url{https://arxiv.org/abs/1609.05988}, 2016.

\bibitem{Concrete} R. L. Graham, D. E. Knuth, and O. Patashnik,
    \emph{Concrete Mathematics}, Addison-Wesley, 1994.

\bibitem{H1} P. Henrici, \emph{Applied and Computational Complex
Analysis}, Volume 1, John Wiley \& Sons, 1988.

\bibitem{H2} P. Henrici, An algebraic proof of the Lagrange-B\"urmann
formula, \emph{J. Math. Anal. Appl.} \textbf{8} (1964), 218--224.

\bibitem{LI} D. Merlini, R. Sprugnoli, and M.~C.~Verri, Lagrange
inversion: when and how, \emph{Acta Appl. Math.} \textbf{94} (2006),
233--249.

\bibitem{MC} D. Merlini, R. Sprugnoli, and M.~C.~Verri, The method of
coefficients, \emph{Amer. Math. Monthly} \textbf{114} (2007),  40--57.

\bibitem{Noe} T. D. Noe, On the divisibility of generalized central
trinomial coefficients, \emph{J. Integer Sequences} \textbf{9} (2006),
\href{https://cs.uwaterloo.ca/journals/JIS/VOL9/Noe/noe35.html} {Article
06.2.7}.

\bibitem{SGWW} L. W. Shapiro, S. Getu, W. J. Woan, and L. C. Woodson,
The Riordan group, \emph{Discr. Appl. Math.} \textbf{34} (1991),
 229--239.

\bibitem{SL1} N. J. A.~Sloane et al., \emph{The
On-Line Encyclopedia of Integer Sequences}. Published electronically
at \url{https://oeis.org/}, 2020.

\bibitem{SL2} N. J. A.~Sloane, The on-line encyclopedia of integer
sequences, \emph{Notices Amer. Math. Soc.} \textbf{50} (2003),  912--915.

\bibitem{Stanley_2} R. P. Stanley, \emph{Enumerative Combinatorics}, Volume 2, Cambridge University Press, 2001.

\bibitem{Z} D. Zeilberger, The J. C. P. Miller recurrence for
exponentiating a polynomial, and its $q$-analog, \emph{J. Difference
Equ. Appl.} \textbf{1} (1995), 57--60.

\end{thebibliography}

\bigskip
\hrule
\bigskip
\noindent 2010 {\it Mathematics Subject Classification}: Primary
11Y55; Secondary 05A15, 11B65, 11B68.

\noindent \emph{Keywords:} central coefficient, generating function,
Lagrange inversion, Catalan number, partition number, Bernoulli number,
harmonic number, Lambert function.

\bigskip
\hrule
\bigskip

\noindent (Concerned with sequences
\seqnum{A000027},
\seqnum{A000041},
\seqnum{A000108},
\seqnum{A000203},
\seqnum{A000984},
\seqnum{A002426},
\seqnum{A005043},
\seqnum{A007317},
\seqnum{A025174}, and
\seqnum{A214776}.)

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received June 23 2020;
revised version received  September 2 2020.
Published in {\it Journal of Integer Sequences},
September 2 2020.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{https://cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in


\end{document}

                                                                                

