--- abstract: | Let $K$ be any unital commutative ${{\mathbb Q}}$-algebra and $W$ any non-empty subset of ${{\mathbb N}}^+$. Let $z=(z_1, \ldots, z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. Let ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ $(\alpha\geq 1)$ be the unital algebra generated by the differential operators of ${{K\langle \langle z \rangle\rangle}}$ which increase the degree in $z$ by at least $\alpha-1$ and $ {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ the group of automorphisms $F_t(z)=z-H_t(z)$ of ${{K[[t]]\langle \langle z \rangle\rangle}}$ with $o(H_t(z))\geq \alpha$ and $H_{t=0}(z)=0$. First, we study a connection of the <span><span>${\mathcal N}$CS</span> </span>systems $\Omega_{F_t}$ $(F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}})$ (@GTS-I, @GTS-II) over the differential operators algebra ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ and the <span><span>${\mathcal N}$CS</span> </span>system $\Omega_{{\mathbb T}}^W$ (@GTS-IV) over the Grossman-Larson Hopf algebra ${{\mathcal H}}_{GL}^W$ (@GL, @F1, @F2) of $W$-labeled rooted trees. We construct a Hopf algebra homomorphism $\mathcal A_{F_t}: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ $(F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}})$ such that $\mathcal A_{F_t}^{\times 5}(\Omega_{{\mathbb T}}^W) =\Omega_{F_t}$. Secondly, we generalize the tree expansion formulas for the inverse map (@BCW, @Wr3), the D-Log and the formal flow (@WZ) of $F_t$ in the commutative case to the noncommutative case. Thirdly, we prove the injectivity of the specialization ${{\mathcal T}}:{\mathcal N}Sym \to {{\mathcal H}}_{GL}^{{{\mathbb N}}^+}$ (@GTS-IV) of NCSF's (noncommutative symmetric functions) (@G-T). Finally, we show the family of the specializations ${{\mathcal S}}_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. The graded dualized versions of the main results above are also discussed. author: - Wenhua Zhao title: '<span><span>${\mathcal N}$CS</span> </span>Systems over Differential Operator Algebras and the Grossman-Larson Hopf Algebras of Labeled Rooted Trees' --- **Introduction** {#S1} ================ Let $K$ be any unital commutative ${{\mathbb Q}}$-algebra and $A$ a unital associative but not necessarily commutative $K$-algebra. A <span>*<span><span>${\mathcal N}$CS</span> </span>$($non-commutative symmetric$)$ system*</span> over $A$ (see Definition \[Main-Def\]) by definition is a $5$-tuple $\Omega\in A[[t]]^{\times 5}$ which satisfies the defining equations (see Eqs.$(\ref{UE-0})$–$(\ref{UE-4})$) of the NCSF's (noncommutative symmetric functions) first introduced and studied in the seminal paper @G-T. When the base algebra $K$ is clear in the context, the ordered pair $(A, \Omega)$ is also called a <span>*<span><span>${\mathcal N}$CS</span> </span>system*</span>. In some sense, a <span><span>${\mathcal N}$CS</span> </span>system over an associative $K$-algebra can be viewed as a system of analogs in $A$ of the NCSF's defined by Eqs.$(\ref{UE-0})$–$(\ref{UE-4})$. For some general discussions on the <span><span>${\mathcal N}$CS</span> </span>systems, see @GTS-I. For more studies on NCSF's, see @T, @NCSF-II, @NCSF-III, @NCSF-IV, @NCSF-V and @NCSF-VI. One immediate but probably the most important example of the <span><span>${\mathcal N}$CS</span> </span>systems is $({{{\mathcal N}Sym}}, \Pi)$ formed by the generating functions of the NCSF's defined in @G-T by Eqs.$(\ref{UE-0})$–$(\ref{UE-4})$ over the free $K$-algebra ${{{\mathcal N}Sym}}$ of NCSF's (see Section \[S2.1\]). It serves as the universal <span><span>${\mathcal N}$CS</span> </span>system over all associative $K$-algebra (see Theorem \[Universal\]). More precisely, for any <span><span>${\mathcal N}$CS</span> </span>system $(A, \Omega)$, there exists a unique $K$-algebra homomorphism ${{\mathcal S}}: {{{\mathcal N}Sym}}\to A$ such that ${{\mathcal S}}^{\times 5}(\Pi) = \Omega$ (here we have extended the homomorphism ${{\mathcal S}}$ to ${{\mathcal S}}: {{{\mathcal N}Sym}}[[t]] \to A[[t]]$ by the base extension). In @GTS-IV and @GTS-II, some families of <span><span>${\mathcal N}$CS</span> </span>systems over differential operator algebras and the Grossman-Larson Hopf algebra (@GL, @F1, @F2) of labeled rooted trees have been constructed, respectively. Consequently, by the universal property of the <span><span>${\mathcal N}$CS</span> </span>system $({{{\mathcal N}Sym}}, \Pi)$, one obtains two families of specializations of NCSF's by differential operators and labeled rooted trees (see Sections \[S2.2\] and \[S2.3\] for a brief review of the results above). In the first part of this paper, we study a connection of the <span><span>${\mathcal N}$CS</span> </span>systems in @GTS-IV over the Grossman-Larson Hopf algebras of labeled rooted trees and the <span><span>${\mathcal N}$CS</span> </span>systems in @GTS-II over differential operator algebras. We construct a Hopf algebra homomorphism from the former algebra to the later which maps the former <span><span>${\mathcal N}$CS</span> </span>system to the later. In the second part of this paper, we first apply the connection above to derive tree expansion formulas for the D-Log's, the formal flows and the inverse maps of formal automorphisms in commutative or noncommutative variables, which generalize the tree expansion formulas obtained in @BCW, @Wr3 and @WZ for commutative variables to the noncommutative case. Secondly, by combining the connection above with some results obtained in @GTS-II and @GTS-IV, we prove more properties for the specializations of NCSF's by differential operator and labeled rooted trees obtained in @GTS-II and @GTS-IV, respectively. To be more precise, let $z=(z_1, \ldots, z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. Denote uniformly for both commutative and noncommutative variables $z$ by ${{K\langle \langle z \rangle\rangle}}$ (resp.${{K\langle z \rangle}}$) the formal power series (resp.polynomial) algebra of $z$ over $K$. For any $\alpha \geq 1$, let ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ (resp.${{{\mathcal D}^{[\alpha]} \langle z \rangle}}$) be the unital algebra generated by the differential operators of ${{K\langle \langle z \rangle\rangle}}$ (resp.${{K\langle z \rangle}}$) which increase the degree in $z$ by at least $\alpha-1$ and $ {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ the group of automorphisms $F_t(z)=z-H_t(z)$ of ${{K[[t]]\langle \langle z \rangle\rangle}}$ with $o(H_t(z))\geq \alpha$ and $H_{t=0}(z)=0$. In @GTS-II, associated with each automorphism $F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$, a <span><span>${\mathcal N}$CS</span> </span>system (@GTS-I) ${ \Omega_{F_t} }$ over the differential operator algebra ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ has been constructed. Consequently, by the universal property of the <span><span>${\mathcal N}$CS</span> </span>system $({{{\mathcal N}Sym}}, \Pi)$, one obtains a families of specializations ${ {\mathcal S}_{F_t} }: {{{\mathcal N}Sym}}\to{{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ of NCSF's by differential operators. In @GTS-IV, for any non-empty $W\subseteq {{\mathbb N}}^+$, a <span><span>${\mathcal N}$CS</span> </span>system ${{\Omega_{{\mathbb T}}^W} }$ over the Grossman-Larson Hopf algebra ${{\mathcal H}}_{GL}^W$ were given explicitly. Hence, one also gets a specialization ${{{\mathcal T}}_W}: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ of NCSF's by $W$-labeled rooted trees. In the first part of this paper, for any fixed $\alpha \geq 1$, $\emptyset\neq W\subseteq {{\mathbb N}}^+$ and $F_t(z)=z-H_t(z)\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ such that $H_t(z)$ can be written as $\sum_{m\in W} t^m H_{[m]}(z)$ for some $H_{[m]}(z)\in {{K\langle \langle z \rangle\rangle}}^{\times n}$ $(m\in W)$, we construct a Hopf algebra homomorphism ${ {\mathcal A}_{F_t} }: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ such that ${ {\mathcal A}_{F_t} }^{\times 5}({{\Omega_{{\mathbb T}}^W} })={ \Omega_{F_t} }$ (see Theorem \[S3-Main-1\] and \[S3-Main-2\]). Furthermore, we also show in Proposition \[CD-2\] that the specializations ${ {\mathcal S}_{F_t} }: {{{\mathcal N}Sym}}\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ and ${{{\mathcal T}}_W}: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ of NCSF's are connected by ${ {\mathcal S}_{F_t} }={{{\mathcal T}}_W}\circ{ {\mathcal A}_{F_t} }$. Note that, it has been shown in @GTS-II that ${ {\mathcal S}_{F_t} }$ is a graded Hopf algebra homomorphism from ${{{\mathcal N}Sym}}$ to the Hopf subalgebra ${{{\mathcal D}^{[\alpha]} \langle z \rangle}}\subset {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ iff $F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ has the form $F_t(z)=t^{-1} F(tz)$ for some automorphism $F(z)$ of ${{K\langle \langle z \rangle\rangle}}$. By taking the graded duals of the results above, we get the corresponding commutative diagrams (see Proposition \[CD-3\]) for the Hopf algebras ${{{\mathcal Q}Sym}}$ of quasi-symmetric functions (@Ge, @MR, @St2), the Connes-Kreimer Hopf algebra ${{\mathcal H}}_{CK}^W$ of $W$-labeled rooted forests (@CM, @Kr, @CK, @F1, @F2), and the graded dual ${{\mathcal D}}^{[\alpha]}\langle z\rangle^*$ of differential operator algebra ${{\mathcal D}}^{[\alpha]}\langle z\rangle$ of ${{K\langle z \rangle}}$. In the second part of this paper, by applying the Hopf algebra homomorphism ${ {\mathcal A}_{F_t} }: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ described above, we first derive tree expansion formulas for the D-Log, the formal flow and the inverse map of $F_t$ (see Theorem \[S4-Main\] and Corollaries \[M-powers\], \[S4-Main-C\]). Since the proofs given here do not depend on the commutativity of the free variables $z$, the formulas derived here can be viewed as some natural generalizations to the noncommutative case of the tree expansion formulas derived in @BCW, @Wr3 and @WZ in the commutative case. Finally, we apply the Hopf algebra homomorphism ${ {\mathcal A}_{F_t} }: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ above combining with some results already obtained in @GTS-II and @GTS-IV to study more properties of the specializations ${ {\mathcal S}_{F_t} }: {{{\mathcal N}Sym}}\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ and ${{\mathcal T}}_W: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ of NCSF's. In Theorem \[NCSF-Injc-Trees\], we show that, when $W={{\mathbb N}}^+$, the specialization ${{{\mathcal T}}_W}: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ actually embeds ${{{\mathcal N}Sym}}$ into ${{\mathcal H}}_{GL}^W$ as a graded $K$-Hopf subalgebra. By taking the graded duals, we get a surjective graded Hopf algebra homomorphism ${{\mathcal T}}_W^*: {{\mathcal H}}_{CK}^W \to {{{\mathcal Q}Sym}}$ from the Connes-Kreimer Hopf algebra ${{\mathcal H}}_{CK}^W$ (@CM, @Kr, @CK, @F1, @F2) of $W$-labeled rooted forests onto the Hopf algebra ${{{\mathcal Q}Sym}}$ of quasi-symmetric functions (see Proposition \[Onto\]). In Theorem \[StabInjc-best\], we show the family of the differential operator specializations ${{\mathcal S}}_{F_t}$ of NCSF's with all $n\geq 1$ and polynomial automorphisms $F_t=z-H_t(z) \in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ such that, $H_t(z)$ is homogeneous and the Jacobian matrix $JH$ is strictly lower triangular, can distinguish any two different NCSF's. Considering the length of paper, we give a more detailed arrangement of the paper as follows. In Section \[S2\], we mainly fix some necessary notations and recall some main results of @GTS-II and @GTS-IV that will be needed throughout this paper. In Subsection \[S2.1\], we recall the definition of general <span><span>${\mathcal N}$CS</span> </span>systems and the universal <span><span>${\mathcal N}$CS</span> </span>system $({{{\mathcal N}Sym}}, \Pi)$ from NCSF's. In Subsection \[S2.2\], we recall the <span><span>${\mathcal N}$CS</span> </span>systems ${ \Omega_{F_t} }$ constructed in @GTS-II over the differential operator algebras ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ and the resulted differential operator specializations ${ {\mathcal S}_{F_t} }: {{{\mathcal N}Sym}}\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ of NCSF's. In Subsection \[S2.3\], we recall the definition of the <span><span>${\mathcal N}$CS</span> </span>systems ${{\mathcal H}}_{GL}^W$ $(\emptyset \neq W \subseteq {{\mathbb N}}^+)$ constructed in @GTS-IV over the Grossman-Larson Hopf algebra of $W$-labeled rooted trees. In Section \[S3\], for any $F_t(z)=z-H_t(z)\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ and any non-empty $W\subseteq {{\mathbb N}}^+$ such that $H_t(z)=\sum_{m\in W} t^m H_{[m]}(z)$ for some $H_{[m]}(z)\in {{K\langle \langle z \rangle\rangle}}^{\times n}$ $(m\in W)$, we constructed a Hopf algebra homomorphisms ${ {\mathcal A}_{F_t} }:{{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ such that ${ {\mathcal A}_{F_t} }^{\times 5}({{\Omega_{{\mathbb T}}^W} })={ \Omega_{F_t} }$ (see Theorem \[S3-Main-1\] and \[S3-Main-2\]). Furthermore, we also show in Proposition \[CD-2\] that the specializations ${ {\mathcal S}_{F_t} }: {{{\mathcal N}Sym}}\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ and ${{{\mathcal T}}_W}: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ of NCSF's are connected by ${ {\mathcal S}_{F_t} }={{{\mathcal T}}_W}\circ{ {\mathcal A}_{F_t} }$. The graded dualized versions of the main results above are also discussed. In Section \[S4\], by applying the Hopf algebra homomorphism ${ {\mathcal A}_{F_t} }: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ constructed in the previous section, we derive tree expansion formulas for the D-Log, formal flow and the inverse map of $F_t$ (see Theorems \[S4-Main\] and Corollaries \[M-powers\], \[S4-Main-C\]). In Section \[S5\], we study more properties of the specializations ${ {\mathcal S}_{F_t} }: {{{\mathcal N}Sym}}\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ and ${{{\mathcal T}}_W}: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ of NCSF's. First, we show in Theorem \[NCSF-Injc-Trees\] that, when $W={{\mathbb N}}^+$, the specialization ${{{\mathcal T}}_W}: {{{\mathcal N}Sym}}\to {{\mathcal H}}_{GL}^W$ is actually an injective graded $K$-Hopf algebra homomorphism. By taking the graded duals, we get a surjective graded Hopf algebra homomorphism ${{{\mathcal T}}_W}^*: {{\mathcal H}}_{CK}^W\to {{{\mathcal Q}Sym}}$ (see Proposition \[Onto\]). Secondly, we show in Theorem \[StabInjc-best\] that the family of the specializations ${{\mathcal S}}_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. **<span><span>${\mathcal N}$CS</span> </span>Systems** {#S2} ====================================================== Let $K$ be any unital commutative ${{\mathbb Q}}$-algebra and $A$ any unital associative but not necessarily commutative $K$-algebra. Let $t$ be a formal central parameter, i.e. it commutes with all elements of $A$, and $A[[t]]$ the $K$-algebra of formal power series in $t$ with coefficients in $A$. First let us recall the following notion formulated in @GTS-I. \[Main-Def\] For any unital associative $K$-algebra $A$, a $5$-tuple $\Omega=$ $( f(t)$, $g(t)$, $d\,(t)$, $h(t)$, $m(t) ) \in A[[t]]^{\times 5}$ is said to be a <span>*<span><span>${\mathcal N}$CS</span> </span>$($noncommutative symmetric$)$ system*</span> over $A$ if the following equations are satisfied. When the base algebra $K$ is clear in the context, we also call the ordered pair $(A, \Omega)$ a <span>*<span><span>${\mathcal N}$CS</span> </span>system*</span>. Since <span><span>${\mathcal N}$CS</span> </span>systems often come from generating functions of certain elements of $A$ that are under concern, the components of $\Omega$ will also be refereed as the <span>*generating functions*</span> of their coefficients. Since all $K$-algebras that we are going to work on in this paper $K$-Hopf algebras (@Abe, @Knu, @Mon), the following result proved in @GTS-I later will be useful to our later arguments. \[bialg-case\] Let $(A, \Omega)$ be a <span><span>${\mathcal N}$CS</span> </span>system as above. Suppose $A$ is further a $K$-bialgebra. T 1. The coefficients of $f(t)$ form a divided power series of $A$. 2. The coefficients of $g(t)$ form a divided power series of $A$. 3. One $(\text{hence also all})$ of $d(t)$, $h(t)$ and $m(t)$ has all its coefficients primitive in $A$. In this section, we briefly recall in Subsection \[S2.1\] the <span><span>${\mathcal N}$CS</span> </span>system $({{{\mathcal N}Sym}}, \Pi)$ formed by generating functions of some of the NCSF's defined in @G-T and its universal property (see Theorem \[Universal\]). In Subsection \[S2.2\], we recall the <span><span>${\mathcal N}$CS</span> </span>systems constructed in @GTS-II over differential operator algebras. Finally, in Subsection \[S2.3\], we recall the <span><span>${\mathcal N}$CS</span> </span>systems constructed in @GTS-IV over the Grossman-Larson Hopf algebra of labeled rooted trees. The Universal <span><span>${\mathcal N}$CS</span> </span>System from Noncommutative Symmetric Functions {#S2.1} ------------------------------------------------------------------------------------------------------- Let $\Lambda=\{ \Lambda_m\,|\, m\geq 1\}$ be a sequence of noncommutative free variables and ${{{\mathcal N}Sym}}$ the free associative algebra generated by $\Lambda$ over $K$. For convenience, we also set $\Lambda_0=1$. We denote by $\lambda (t)$ the generating function of $\Lambda_m$ $(m\geq 0)$, i.e. we set $$\begin{aligned} \lambda (t):= \sum_{m\geq 0} t^m \Lambda_m =1+\sum_{k\geq 1} t^m \Lambda_m.\end{aligned}$$ In the theory of NCSF's (@G-T), $\Lambda_m$ $(m\geq 0)$ is the noncommutative analog of the $m^{th}$ classical (commutative) elementary symmetric function and is called the <span>*$m^{th}$ $(\text{noncommutative})$ elementary symmetric function.*</span> To define some other NCSF's, we consider Eqs.$(\ref{UE-1})$–$(\ref{UE-4})$ over the free $K$-algebra ${{{\mathcal N}Sym}}$ with $f(t)=\lambda(t)$. The solutions for $g(t)$, $d\,(t)$, $h(t)$, $m(t)$ exist and are unique, whose coefficients will be the NCSF's that we are going to define. Following the notation in @G-T and @G-T, we denote the resulted $5$-tuple by $$\begin{aligned} \Pi:= (\lambda(t),\, \sigma(t),\, \Phi(t),\, \psi(t),\, \xi(t))\end{aligned}$$ and write the last four generating functions of $\Pi$ explicitly as follows. Following @G-T, we call $S_m$ ($m\geq 1$) the <span>*$m^{th}$ $(\text{noncommutative})$ complete homogeneous symmetric function*</span> and $\Phi_m $ (resp.$\Psi_m$) the <span>*$m^{th}$ power sum symmetric function of the second $($resp.first$)$ kind*</span>. Following @GTS-I, we call $\Xi_m \in {{{\mathcal N}Sym}}$ $(m\geq 1)$ the <span>*$m^{th}$ $(\text{noncommutative})$ power sum symmetric function of the third kind*</span>. Next, let us recall the following graded $K$-Hopf algebra structure of ${{{\mathcal N}Sym}}$. It has been shown in @G-T that ${{{\mathcal N}Sym}}$ is the universal enveloping algebra of the free Lie algebra generated by $\Psi_m$ $(m\geq 1)$. Hence, it has a Hopf $K$-algebra structure as all other universal enveloping algebras of Lie algebras do. Its co-unit $\epsilon:{{{\mathcal N}Sym}}\to K$, co-product $\Delta$ and antipode $S$ are uniquely determined by $$\begin{aligned} \epsilon (\Psi_m)&=0, \label{counit} \\ \Delta (\Psi_m) &=1\otimes \Psi_m +\Psi_m\otimes 1, \label{coprod}\\ S(\Psi_m) & =-\Psi_m,\label{antipode}\end{aligned}$$ for any $m\geq 1$. Next, we introduce the <span>*weight*</span> of NCSF's by setting the weight of any monomial $\Lambda_{m_1}^{i_1} \Lambda_{m_2}^{i_2} \cdots \Phi_{m_k}^{i_k}$ to be $\sum_{j=1}^k i_j m_j$. For any $m\geq 0$, we denote by ${{{\mathcal N}Sym}}_{[m]}$ the vector subspace of ${{{\mathcal N}Sym}}$ spanned by the monomials of $\Lambda$ of weight $m$. Then it is easy to see that $$\begin{aligned} \label{Grading-cNsf} {{{\mathcal N}Sym}}=\bigoplus_{m\geq 0} {{{\mathcal N}Sym}}_{[m]}, \end{aligned}$$ which provides a grading for ${{{\mathcal N}Sym}}$. Note that, it has been shown in @G-T, for any $m\geq 1$, the NCSF's $S_m, \Phi_m, \Psi_m \in {{{\mathcal N}Sym}}_{[m]}$. By the facts above and Eqs.(\[counit\])–(\[antipode\]), it is also easy to check that, with the grading given in Eq.(\[Grading-cNsf\]), ${{{\mathcal N}Sym}}$ forms a graded $K$-Hopf algebra. Its graded dual is given by the space ${{{\mathcal Q}Sym}}$ of quasi-symmetric functions, which were first introduced by I. Gessel @Ge (also see @MR and @St2 for more discussions). Now we come back to our discussions on the <span><span>${\mathcal N}$CS</span> </span>systems. From the definitions of the NCSF's above, we see that $({{{\mathcal N}Sym}}, \Pi)$ obviously forms a <span><span>${\mathcal N}$CS</span> </span>system. More importantly, as shown in Theorem $2.1$ in @GTS-I, we have the following important theorem on the <span><span>${\mathcal N}$CS</span> </span>system $({{{\mathcal N}Sym}}, \Pi)$. \[Universal\] Let $A$ be a $K$-algebra and $\Omega$ a <span><span>${\mathcal N}$CS</span> </span>system over $A$. Then, $(a)$ There exists a unique $K$-algebra homomorphism ${{\mathcal S}}: {{{\mathcal N}Sym}}\to A$ such that ${{\mathcal S}}^{\times 5} (\Pi)=\Omega$. $(b)$ If $A$ is further a $K$-bialgebra $($resp.$K$-Hopf algebra$)$ and one of the equivalent statements in Proposition \[bialg-case\] holds for the <span><span>${\mathcal N}$CS</span> </span>system $\Omega$, then ${{\mathcal S}}: {{{\mathcal N}Sym}}\to A$ is also a homomorphism of $K$-bialgebras $($resp.$K$-Hopf algebras$)$. \[Motivation\] By applying the similar arguments as in the proof of Theorem \[Universal\], or simply taking the quotient over the two-sided ideal generated by the commutators of $\Lambda_m$'s, it is easy to see that, over the category of commutative $K$-algebras, the universal <span><span>${\mathcal N}$CS</span> </span>system is given by the generating functions of the corresponding classical $($commutative$)$ symmetric functions @M. <span><span>${\mathcal N}$CS</span> </span>Systems over Differential Operator Algebras {#S2.2} -------------------------------------------------------------------------------------- In this subsection, we briefly recall the <span><span>${\mathcal N}$CS</span> </span>systems constructed in @GTS-II over the differential operator algebras in commutative or noncommutative free variables. The construction of this <span><span>${\mathcal N}$CS</span> </span>is mainly motivated by the studies in @BurgersEq and @NC-IVP on the deformations of formal analytic maps and their applications to the inversion problem (@BCW, @E, @GTS-III). First, let us fix the following notation. Let $K$ be any unital commutative ${{\mathbb Q}}$-algebra as before and $z=(z_1, z_2, ... , z_n)$ commutative or noncommutative free variables.[^1] Let $t$ be a formal central parameter, i.e. it commutes with $z$ and elements of $K$. We denote by ${{K\langle \langle z \rangle\rangle}}$ and ${{K[[t]]\langle \langle z \rangle\rangle}}$ the $K$-algebras of formal power series in $z$ over $K$ and $K[[t]]$, respectively. We denote by ${{\mathcal D er_K \langle \langle z \rangle\rangle}}$ or ${{\mathcal D er\langle \langle z \rangle\rangle}}$, when the base algebra $K$ is clear from the context, the set of all $K$-derivations of ${{K\langle \langle z \rangle\rangle}}$. The unital subalgebra of $\text{End}_k({{K\langle \langle z \rangle\rangle}})$ generated by all $K$-derivations of ${{K\langle \langle z \rangle\rangle}}$ will be denoted by ${{\mathcal D_K \langle \langle z \rangle\rangle}}$ or ${{\mathcal D \langle \langle z \rangle\rangle}}$. Elements of ${{\mathcal D_K \langle \langle z \rangle\rangle}}$ will be called <span>*$(\text{formal})$ differential operators*</span> in the commutative and noncommutative variables $z$. For any $\alpha\geq 1 $, we denote by ${{{{\mathcal D}}er^{[\alpha]}\langle \langle z \rangle \rangle}}$ the set of the $K$-derivations of ${{K\langle \langle z \rangle\rangle}}$ which increase the degree in $z$ by at least $\alpha-1$. The unital subalgebra of ${{\mathcal D \langle \langle z \rangle\rangle}}$ generated by elements of ${{{{\mathcal D}}er^{[\alpha]}\langle \langle z \rangle \rangle}}$ will be denoted by ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. Note that, by the definitions above, the operators of scalar multiplications are also in ${{\mathcal D \langle \langle z \rangle\rangle}}$ and ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. When the base algebra is $K[[t]]$ instead of $K$ itself, the notation ${{\mathcal D er\langle \langle z \rangle\rangle}}$, ${{\mathcal D \langle \langle z \rangle\rangle}}$, ${{{{\mathcal D}}er^{[\alpha]}\langle \langle z \rangle \rangle}}$ and ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ will be denoted by ${{\mathcal D er_t \langle \langle z \rangle\rangle}}$, ${{\mathcal D_t \langle \langle z \rangle\rangle}}$, ${{{{\mathcal D}}er^{[\alpha]}_t\langle \langle z \rangle \rangle}}$ and ${{{{\mathcal D}}^{[\alpha]}_t\langle \langle z \rangle \rangle}}$, respectively. For example, ${{{{\mathcal D}}er^{[\alpha]}_t\langle \langle z \rangle \rangle}}$ stands for the set of all $K[[t]]$-derivations of ${{K[[t]]\langle \langle z \rangle\rangle}}$ which increase the degree in $z$ by at least $\alpha-1$. Note that, ${{{{\mathcal D}}er^{[\alpha]}_t\langle \langle z \rangle \rangle}}={{{{\mathcal D}}er^{[\alpha]}\langle \langle z \rangle \rangle}}[[t]]$ and ${{{{\mathcal D}}^{[\alpha]}_t\langle \langle z \rangle \rangle}}={{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}[[t]]$. For any $1\leq i\leq n$ and $u(z)\in {{K\langle \langle z \rangle\rangle}}$, we denote by ${\left[}u(z) {\frac}{\partial}{{\partial}z_i}{\right]}$ the $K$-derivation which maps $z_i$ to $u(z)$ and $z_j$ to $0$ for any $j\neq i$. For any $\Vec{u}=(u_1, u_2, \cdots, u_n)\in {{K\langle \langle z \rangle\rangle}}^{\times n}$, we set $$\begin{aligned} \label{Upz} [\Vec{u}{\frac{{\partial}}{{\partial}z}}]:=\sum_{i=1}^n [u_i {\frac}{\partial}{{\partial}z_i}]. \end{aligned}$$ Note that, in the noncommutative case, we in general do <span>**not**</span> have ${\left[}u(z) {\frac}{\partial}{{\partial}z_i}{\right]}g(z) = u(z) {\frac}{{\partial}g}{{\partial}z_i}$ for all $u(z), g(z)\in {{K\langle \langle z \rangle\rangle}}$. This is the reason that we put a bracket $[\cdot]$ in the notation above for the $K$-derivations. With the notation above, it is easy to see that any $K$-derivations $\delta$ of ${{K\langle \langle z \rangle\rangle}}$ can be written uniquely as $\sum_{i=1}^n {\left[}f_i(z){\frac}{\partial}{{\partial}z_i}{\right]}$ with $f_i(z)=\delta z_i\in {{K\langle \langle z \rangle\rangle}}$ $(1\leq i\leq n)$. Note that, the differential operator algebra ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ $(\alpha\geq 1)$, as the universal enveloping algebra of Lie algebra ${{{{\mathcal D}}er^{[\alpha]}\langle \langle z \rangle \rangle}}$ with the commutator bracket, has a Hopf algebra structure as all other enveloping algebras of Lie algebras do. In particular, Its coproduct $\Delta$, antipode $S$ and co-unit $\epsilon$ are uniquely determined respectively by the properties $$\begin{aligned} \Delta(\delta)&= 1\otimes\delta+\delta\otimes 1,\label{Coprd-delta} \\ S(\delta)&=-\delta, \label{antipd-delta}\\ \epsilon (\delta) &=\delta \cdot 1, \label{Counit-delta}\end{aligned}$$ for any $\delta \in {{\mathcal D er\langle \langle z \rangle\rangle}}$. For any $\alpha\geq 1 $, let ${{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ be the set of all the automorphism $F_t(z)$ of ${{K[[t]]\langle \langle z \rangle\rangle}}$ over $K[[t]]$, which have the form $F(z)=z-H_t(z)$ for some $H_t(z)\in {{K[[t]]\langle \langle z \rangle\rangle}}^{\times n}$ with $o(H_t(z))\geq \alpha$ and $H_{t=0}(z)=0$. Note that, for any $F_t \in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ as above, its inverse map $G_t:=F_t^{-1}$ can always be written uniquely as $G_t(z)=z+M_t(z)$ \[Mt(z)\] for some $M_t(z)\in {{K[[t]]\langle \langle z \rangle\rangle}}^{\times n}$ with $o(M_t(z))\geq \alpha$ and $M_{t=0}(z)=0$. Now we recall the <span><span>${\mathcal N}$CS</span> </span>systems constructed in @GTS-II over the differential operator algebras ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ $(\alpha\geq 1)$. We fix an $\alpha \geq 1$ and an arbitrary $F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$. We will always let $H_t(z)$, $G_t(z)$ and $M_t(z)$ be determined as above. The <span><span>${\mathcal N}$CS</span> </span>system $$\begin{aligned} \label{Def-Omega-Ft} \Omega_{F_t}=(f(t), \, g(t),\, d(t),\, h(t),\, m(t)) \in {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}[[t]]^{\times 5}.\end{aligned}$$ are determined as follows. The last two components are given directly as $$\begin{aligned} h(t)&:=\left[\frac{{\partial}M_t}{{\partial}t}(F_t) {\frac{{\partial}}{{\partial}z}}\right ],\label{Def-h(t)-0}\\ m(t)&:=\left[\frac{{\partial}H_t}{{\partial}t}(G_t) {\frac{{\partial}}{{\partial}z}}\right ]. \label{Def-m(t)-0}\end{aligned}$$ The first three components are given by the following proposition which was proved in Section $3.2$ in @GTS-II. \[TaylorExpansion-DLog\] There exist unique $f(t), g(t), d(t) \in {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}[[t]]$ with $f(0)=1$ and $d(0)=0$ such that, for any $u_t(z)\in {{K[[t]]\langle \langle z \rangle\rangle}}$, we have $$\begin{aligned} f(-t)\, u_t(z)&=u_t(F_t),\label{NewTaylorExpansion-e1}\\ g(t)\, u_t(z)&=u_t(G_t), \label{NewTaylorExpansion-e2}\\ e^{d(t)}\, u_t(z) &=u_t(G_t), \label{NewDLog-e2}\end{aligned}$$ where, as usual, the exponential in Eq.$(\ref{NewDLog-e2})$ is given by $$\begin{aligned} \label{L2.2.3-e2} e^{d(t)} = \sum_{m\geq 0} \frac {d(t)^m}{m!}.\end{aligned}$$ Note that, when we write $d(t)$ above as $d(t)= -{\left[}a_t(z){\frac{{\partial}}{{\partial}z}}{\right]}$ for some $a_t(z)\in t{{K[[t]]\langle \langle z \rangle\rangle}}$, then we get the so-called <span>*D-Log*</span>\[D-Log\] $a_t(z)$ of the automorphism $F_t(z)\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$, which has been studied in @E1-@E3, @Z-exp and @WZ for the commutative case. \[S-Correspondence-2\] $($@GTS-II$)$ For any $\alpha\geq 1 $ and $F_t(z)\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$, we have, $(a)$ the $5$-tuple $\Omega_{F_t}$ defined in Eq.$(\ref{Def-Omega-Ft})$ forms a <span><span>${\mathcal N}$CS</span> </span>system over the $K$-algebra ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. $(b)$ there exists a unique homomorphism ${{\mathcal S}}_{F_t}: {{{\mathcal N}Sym}}\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ of $K$-Hopf algebras such that ${{\mathcal S}}_{F_t}^{\times 5}(\Pi)=\Omega_{F_t}$. A <span><span>${\mathcal N}$CS</span> </span>System over the Grossman-Larson Hopf Algebra of Labeled Rooted Trees {#S2.3} ----------------------------------------------------------------------------------------------------------------- In this subsection, we recall the <span><span>${\mathcal N}$CS</span> </span>system $({{\mathcal H}}_{GL}^W, \Omega_{{\mathbb T}}^W)$ constructed in @GTS-IV over the Grossman-Larson Hopf algebra $\mathcal H^W_{GL}$ of rooted trees labeled by positive integers of an non-empty $W\subseteq {{\mathbb N}}^+$. First, let us fix the following notation which will be used throughout the rest of this paper. <span>**Notation:**</span> By a <span>*rooted tree*</span> we mean a finite 1-connected graph with one vertex designated as its <span>*root.*</span> For convenience, we also view the empty set $\emptyset$ as a rooted tree and call it the <span>*emptyset*</span> rooted tree. The rooted tree with a single vertex is called the <span>*singleton*</span> and denoted by $\circ$. There are natural ancestral relations between vertices. We say a vertex $w$ is a <span>*child*</span> of vertex $v$ if the two are connected by an edge and $w$ lies further from the root than $v$. In the same situation, we say $v$ is the <span>*parent*</span> of $w$. A vertex is called a <span>*leaf*</span> if it has no children. Let $W\subseteq {{\mathbb N}}^+$ be a non-empty subset of positive integers. A <span>*$W$-labeled rooted tree*</span> is a rooted tree with each vertex labeled by an element of $W$. If an element $m \in W$ is assigned to a vertex $v$, then $m$ is called the <span>*weight*</span> of the vertex $v$. When we speak of isomorphisms between unlabeled (resp.$W$-labeled) rooted trees, we will always mean isomorphisms which also preserve the root (resp.the root and also the labels of vertices). We will denote by $\mathbb T$ (resp.$\mathbb T^W$) the set of isomorphism classes of all unlabeled (resp.$W$-labeled) rooted trees. A disjoint union of any finitely many rooted trees (resp.$W$-labeled rooted trees) is called a <span>*rooted forest*</span> (resp.$W$-labeled <span>*rooted forest*</span>). We denote by $\mathbb F$ (resp.$\mathbb F^W$) the set of unlabeled (resp.$W$-labeled) rooted forests. With these notions in mind, we establish the following notation. 1. For any rooted tree $T\in {{\mathbb T}}^W$, we set the following notation: - $\text{rt}_T$ denotes the root vertex of $T$ and $O(T)$ the set of all the children of $\text{rt}_T$. We set $o(T)=|O(T)|$ (the cardinal number of the set $O(T)$). - $E(T)$ denotes the set of edges of $T$. - $V(T)$ denotes the set of vertices of $T$ and $v(T)=|V(T)|$. - $L(T)$ denotes the set of leaves of $T$ and $l(T)=|L(T)|$ - For any $v\in V(T)$ define the <span>*height*</span> of $v$ to be the number of edges in the (unique) geodesic connecting $v$ to $\text{rt}_{T}$. The <span>*height*</span> of $T$ is defined to be the maximum of the heights of its vertices. - For any $T\in {{\mathbb T}}^W$ and $T\neq \emptyset$, $|T|$ denotes the sum of the weights of all vertices of $T$. When $T=\emptyset$, we set $|T|=0$. - For any $T\in {{\mathbb T}}^W$, we denote by $\text{Aut}(T)$ the automorphism group of $T$ and $\alpha(T)$ the cardinal number of $\text{Aut}(T)$. 2. Any subset of $E(T)$ is called a <span>*cut*</span> of $T$. A cut $C\subseteq E(T)$ is said to be <span>*admissible*</span> if no two different edges of $C$ lie in the path connecting the root and a leaf. We denote by $\mathcal C(T)$ the set of all admissible cuts of $T$. Note that, the empty subset $\emptyset$ of $E(T)$ and $C=\{e\}$ for any $e\in E(T)$ are always admissible cuts. We will identify any edge $e\in E(T)$ with the admissible cut $C:=\{e\}$ and simply say the edge $e$ itself is an admissible cut of $T$. 3. For any $T \in {{\mathbb T}}^W$ with $T\neq \circ$, let $C\in \mathcal C(T)$ be an admissible cut of $T$ with $|C|=m\geq 1$. Note that, after deleting the edges in $C$ from $T$, we get a disjoint union of $m+1$ rooted trees, say $T_0$, $T_1$, ..., $T_m$ with $\text{rt}(T)\in V(T_0)$. We define $R_C(T)=T_0 \in \mathbb T^W$ and $P_C (T)\in \mathbb F^W$ the rooted forest formed by $T_1$, ..., $T_m$. 4. For any disjoint admissible cuts $C_1$ and $C_2$, we say "$C_1$ lies above $C_2$", and write $C_1\succ C_2$, if $C_2 \subseteq E(R_{C_1}(T))$. This merely says that all edges of $C_2$ remain when we remove all edges of $C_1$ and $P_{C_1}(T)$. Note that this relation is not transitive. When we write $C_1\succ \cdots \succ C_r\,$ for $C_1,\ldots, C_r\in \mathcal C(T)$, we will mean that $C_i \succ C_j$ whenever $i<j$. 5. For any $T\in {{\mathbb T}}^W$, we say $T$ is a <span>*chain*</span> if its underlying rooted tree is a rooted tree with a single leaf. We say $T$ is a <span>*shrub*</span> if its underlying rooted tree is a rooted tree of height $1$. We say $T$ is <span>*primitive*</span> if its root has only one child. For any $m\geq 1$, we set $\mathbb H_m$, $\mathbb S_m$ and $\mathbb P_m$ to be the sets of the chains, shrubs and primitive rooted trees $T$ of weight $|T|=m$, respectively. $\mathbb H$, $\mathbb S$ and $\mathbb P$ are set to be the unions of $\mathbb H_m$, $\mathbb S_m$ and $\mathbb P_m$, respectively, for all $m\geq 1$. Let $K$ be any unital commutative ${{\mathbb Q}}$-algebra and $W$ a non-empty subset of positive integers. First, let us recall the Connes-Kreimer Hopf algebras $\mathcal H_{CK}^W$ of labeled rooted forests. As a $K$-algebra, the Connes-Kreimer Hopf algebra $\mathcal H_{CK}^W$ is the free commutative algebra generated by formal variables $\{X_T \,|\, T\in \mathbb T^W \}$. Here, for convenience, we will still use $T$ to denote the variable $X_T$ in $\mathcal H_{CK}^W$. The $K$-algebra product is given by the disjoint union. The identity element of this algebra, denoted by $1$, is the free variable $X_\emptyset$ corresponding to the emptyset rooted tree. The coproduct $\Delta: \mathcal H_{CK}^W \to \mathcal H_{CK}^W \otimes \mathcal H_{CK}^W$ is uniquely determined by setting $$\begin{aligned} \Delta(1)&=1\otimes 1, \label{CK-Delta-1} \\ \Delta(T)&= T\otimes 1+ \sum_{C\in \mathcal C(T)} P_C(T) \otimes R_C(T). \label{CK-Delta-2}\end{aligned}$$ The co-unit $\epsilon: \mathcal H_{CK}^W \to K$ is the $K$-algebra homomorphism which sends $1\in \mathcal H_{CK}^W$ to $1\in K$ and $T$ to $0$ for any $T\in \mathbb T^W$ with $T\neq \emptyset$. With the operations defined above and the grading given by the weight, the vector space $\mathcal H_{CK}^W$ forms a graded commutative bi-algebra, hence there is a unique antipode $S: \mathcal H_{CK}^W\to \mathcal H_{CK}^W$ that makes $\mathcal H_{CK}^W$ a Hopf algebra. Next we recall the Grossman-Larson Hopf algebra of labeled rooted trees. First we need define the following operations for labeled rooted forests. For any labeled rooted forest $F$ which is disjoint union of labeled rooted trees $T_1$, $T_2$, ... , $T_m$, we set $B_+(T_1, T_2, \cdots, T_m)$ the rooted tree obtained by connecting roots of $T_i$ $(1\leq i\leq m)$ to a newly added root. We will keep the labels for the vertices of $B_+(T_1, T_2, \cdots, T_m)$ from $T_i$'s, but for the root, we label it by $0$. Furthermore, we fix the following convention for the operation $B_+$. First, for any $T_i\in {{\mathbb T}}^W$ $(1\leq i\leq m)$ and $j_i \geq 1$, the notation $B_+(T_1^{j_1}, T_2^{j_2}, \cdots, T_m^{j_m} )$ denotes the rooted tree obtained by applying the operation $B_+$ to $j_1$-copies of $T_1$; $j_2$-copies of $T_2$; and so on. Secondly, for any $m\geq 1$, we will extend the operation $B_+$ multi-linearly to a linear map $B_+$ from ${\left(}{{\mathcal H}}_{CK}^W {\right)}^{\times m}$ to the vector spaces spanned by the resulted rooted trees. Now, we set $\bar {\mathbb T}^W:=\{ B_+(F) \, | \, F \in \mathbb F^W \}$. Then, $B_+: \mathbb F^W \to \bar{\mathbb T}^W$ becomes a bijection. We denote by $B_- : \bar{\mathbb T}^W \to \mathbb F^W$ the inverse map of $B_+$. More precisely, for any $T\in \bar{\mathbb T}^W$, $B_-(T)$ is the $W$-labeled rooted forest obtained by cutting off the root of $T$ as well as all edges connecting to the root in $T$. Note that, precisely speaking, elements of $\bar{\mathbb T}^W$ are not $W$-labeled trees for $0\not \in W$. But, if we set $\bar W=W\cup\{0\}$, then we can view $\bar{\mathbb T}^W$ as a subset of $\bar W$-labeled rooted trees $T$ with the root $\text{rt}_T$ labeled by $0$ and all other vertices labeled by non-zero elements of $\bar W$. We extend the definition of the weight for elements of $\mathbb F^W$ to elements of $\bar{\mathbb T}^W$ by simply counting the weight of roots by zero. We set $\bar{\mathbb S}_m^W:=B_+(\mathbb S_m^W)$ $(m\geq 1)$ and $\bar{\mathbb S}^W:=B_+(\mathbb S^W)$. We also define $\bar{\mathbb H}_m^W$, $\bar{\mathbb P}_m^W$, $\bar{\mathbb H}^W$ and $\bar{\mathbb P}^W$ in the similar way. The Grossman-Larson Hopf algebra $\mathcal H_{GL}^W$ as a vector space is the vector space spanned by elements of $\bar{\mathbb T}^W$ over $K$. For any $T\in \bar{\mathbb T}^W$, we will still denote by $T$ the vector in $\mathcal H_{GL}^W$ that is corresponding to $T$. The algebra product is defined as follows. For any $T, S\in \bar{\mathbb T}^W$ with $T=B_+(T_1, T_2, \cdots, T_m)$, we set $T\cdot S$ to be the sum of the rooted trees obtained by connecting the roots of $T_i$ $(1\leq i\leq m)$ to vertices of $S$ in all possible $m^{v(S)}$ different ways. Note that, the identity element with respect to this algebra product is given by the singleton $\circ=B_+(\emptyset)$. But we will denote it by $1$. To define the co-product $\Delta: {{\mathcal H}}_{GL}^W \to {{\mathcal H}}_{GL}^W \otimes {{\mathcal H}}_{GL}^W$, we first set $$\begin{aligned} \Delta (\circ)=\circ \otimes \circ. \end{aligned}$$ Now let $T\in \bar{\mathbb T}^W$ with $T\neq \circ$, say $T=B_+ (T_1, T_2, \cdots, T_m)$ with $m \geq 1$ and $T_i\in \mathbb T^W$ $(1\leq i\leq m)$. For any non-empty subset $I\subseteq \{1, 2, \cdots, m\}$, we denote by $B_+(T_I)$ the rooted tree obtained by applying the $B_+$ operation to the rooted trees $T_i$ with $i\in I$. For convenience, when $I=\emptyset$, we set $B_+(T_I)=1$. With these notation fixed, the co-product for $T$ is given by $$\begin{aligned} \Delta (T)=\sum_{I\sqcup J=\{1, 2, \cdots, m\}} B_+(T_I) \otimes B_+(T_J).\end{aligned}$$ Note that, a rooted tree in $\bar{\mathbb T}^W$ is a primitive element of the Hopf algebra ${{\mathcal H}}_{GL}^W$ iff it is a primitive rooted tree in the sense that we defined before, namely the root of $T$ has one and only one child. \[action\] Note that, for any $S \in {{\bar{\mathbb T}}}^W$ and $T \in \mathbb F^W$, we also can define a "product" still denoted by $S\cdot T$ in the exact same way as we define the product of elements of ${{\bar{\mathbb T}}}^W$. By the linear extention, this "product" makes ${{\mathcal H}}_{CK}^W$ a $K$-algebra module of ${{\mathcal H}}_{GL}^W$. The following results later will be very useful in our later arguments. \[Dual-MM\] $(a)$ The Hopf algebras ${{\mathcal H}}_{GL}^W$ and ${{\mathcal H}}_{CK}^W$ are graded dual to each other. The pairing is given by, for any $T\in \bar{\mathbb T}^W$ and $S\in \mathbb F^W$, $$\begin{aligned} \label{pairing} <T, F>=\begin{cases} 0, & \text{ if } T \not \simeq B_+(F),\\ \alpha (T), &\text{ if } T \simeq B_+(F). \end{cases}\end{aligned}$$ $(b)$ ${{\mathcal H}}_{GL}^W$ as a Hopf algebra is isomorphic to the universal enveloping algebra of the Lie algebra formed by its primitive elements, which are exactly linear combinations of the primitive rooted trees. In particular, ${{\mathcal H}}_{GL}^W$ as an $K$-algebra is generated by the primitive rooted trees. For a proof of $(a)$, see @H and @F2. $(b)$ follows directly from the well-known Milnor-Moore's Theorem (@MM), since ${{\mathcal H}}_{GL}^W$ is a connected graded and cocommutative Hopf algebra. Next, let us recall the following lemma proved in @GTS-IV that will be crucial for our later arguments. Let $\vec{C}=(C_1, \ldots, C_r)\in \mathcal C(T)^{\times r}$ be a sequence of admissible cuts with $C_1 \succ \cdots \succ C_r$. We define a sequence of $T_{\vec{C},1}, \ldots , T_{\vec{C},r+1} \in \bar{\mathbb T}^W$ as follows: we first set $T_{\vec{C},1}= B_+ (P_{C_1}(T))$ and let $S_1= R_{C_1}(T)$. Note that $C_2, \ldots, C_r\in \mathcal C (S_1)$. We then set $T_{\vec C, 2}=B_+ (P_{C_2}(S_1))$ and $S_2= R_{C_2}(S_1)$ and repeat this procedure until we get $S_{r}=R_{C_r}(S_{r-1})$ and then set $T_{\vec C, r+1}=S_r$. In the case that, each $C_i$ $(1\leq i\leq r)$ consists of a single edge, say $e_i\in E(T)$, we simply denote $T_{\vec{C},i}$ by $T_{e_i}$. \[key-lemma-2\] For any $r\geq 1$, $y=\{ y_T^{(i)}\,|\, 1\leq i\leq r; \,, T\in \bar{{{\mathbb T}}}^W\}$ be a collection of commutative formal variables. Then, we have, Now we recall the <span><span>${\mathcal N}$CS</span> </span>system $\Omega_{{{\mathbb T}}}^W$ constructed in @GTS-IV over the Grossman-Larson Hopf algebra ${{\mathcal H}}_{GL}^W$. First, let us define the following constants for the rooted trees in ${{\bar{\mathbb T}}}^W$: 1. We set $\beta_T$ to be the weight of the unique leaf of $T$ if $T\in \bar{\mathbb H}^W$ and $0$ otherwise. 2. We set $\gamma_T$ to be the weight of the unique child of the root of $T$ if $T\in \bar{\mathbb P}^W$ and $0$ otherwise. 3. \[theta\] We set $\theta_T$ to be the coefficient of $s$ of the order polynomial $\Omega(B_-(T), s)$ of the underlying unlabeled rooted forest of $B_-(T)$. For general studies on the order polynomials $\Omega(P, s)$ of finite posets $P$, see @St1. For an interpretation of the constant $\phi_T=(-1)^{v(T)-1}\varphi_T=(-1)^{v(T)-1}\theta_{B_+(T)}$ in terms of the numbers of chains with fixed lengths in the lattice of the ideals of the poset $T$, see Lemma $2.8$ in @SWZ. The following results[^2] on $\theta_T$ $(T\in {{\bar{\mathbb T}}}^W)$ proved in Section $5$ in @GTS-IV will be needed later. \[propo-theta\] 1. For the singleton $\circ$ and any non-primitive rooted tree $T\in \mathbb T$, i.e. $o(T)>1$, we set $\theta_\circ = \theta_T=0$. 2. For $T=B_+(\circ)$, we set $\theta_T=1$. 3. For any primitive $T\in \mathbb P$ with $v(T)\geq 3$, we define $\theta_T$ inductively by $$\begin{aligned} \label{theta-Recur} \theta_T = 1- \sum_{m \geq 2} \frac 1{m!} \sum_{\substack{\vec e=(e_1,\ldots,e_{m-1})\in E(T)^{m-1}\\e_1\succ \cdots\succ e_{m-1}}} \theta_{T_{e_1}} \theta_{T_{e_2}} \cdots \theta_{T_{e_{m}}}. \end{aligned}$$ We will also need the following proposition proved in @GTS-IV for the constants $\theta_T$ $(T\in {{\mathbb T}})$. \[theta-orderP\] For any $T\in \mathbb P$, we have $$\begin{aligned} \label{theta-orderP-e1} \nabla \Omega(T, s) & = \theta_T \, s + \sum_{k=2}^{v(T)} \frac {s^{k}}{k!} \sum_{\substack{\vec e=(e_1,\ldots,e_{k-1})\in E(T)^{k-1}\\e_1\succ \cdots\succ e_{k-1}}} \theta_{B_-(T_{\vec e,1})} \cdots \theta_{B_-(T_{\vec e,k-1})} \theta_{T_{\vec e,k}},\end{aligned}$$ where $\nabla: K[s]\to K[s]$ is the linear operator that maps any $f(s)\in K[s]$ to $f(s)-f(s-1)$. Now we consider the following generating functions of $T\in {{\bar{\mathbb T}}}^W$. We further set $$\begin{aligned} \label{Def-3-Omega} \Omega_{{\mathbb T}}^W:= (\, \tilde f(t),\, \tilde g(t), \, \tilde d\,(t), \, \tilde h(t), {\widetilde}m(t)\, ). \end{aligned}$$ \[Main-Thm-Trees\] $($@GTS-IV$)$ For any non-empty set $W\subseteq{{\mathbb N}}^+$, we have $(a)$ the $5$-tuple $\tilde \Omega_{F_t}$ defined in Eq.$(\ref{Def-3-Omega})$ forms a <span><span>${\mathcal N}$CS</span> </span>system over the Grossman-Larson Hopf algebra $\mathcal H^W_{GL}$. $(b)$ there exists a unique homomorphism ${{\mathcal T}}_W: {{{\mathcal N}Sym}}\to \mathcal H^W_{GL}$ of graded $K$-Hopf algebras such that ${{\mathcal T}}^{\times 5}_W(\Pi)=\tilde \Omega_{F_t}$. **A Hopf Algebra Homomorphisms from ${{\mathcal H}}_{GL}^W$ to ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$** {#S3} ================================================================================================================================= In this section, for any non-empty $W\subseteq{{\mathbb N}}^+$, $\alpha \geq 1$ and $F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ satisfying Eq.(\[Def-Hm\]) below, we construct a $K$-Hopf algebra homomorphism $\mathcal A: {{\mathcal H}}_{GL}^W\to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ such that $\mathcal A^{\times 5}$ maps the <span><span>${\mathcal N}$CS</span> </span>system $\Omega_{{\mathbb T}}^W$ in Theorem \[Main-Thm-Trees\] to the <span><span>${\mathcal N}$CS</span> </span>system $\Omega_{F_t}$ in Theorem \[S-Correspondence-2\]. Let $K$, $z$ and $t$ be as given in Subsection \[S2.2\]. We will also use the notation fixed in Sections \[S3\] freely throughout this section. Let us start with the introducing of the following two operations for the $K$-derivations of ${{K\langle \langle z \rangle\rangle}}$. First, for any $\phi, \delta \in {{\mathcal D er\langle \langle z \rangle\rangle}}$ with $\delta={\left[}f(z){\frac{{\partial}}{{\partial}z}}{\right]}$, we set $$\begin{aligned} \label{collapse} \phi \triangleright \delta:={\left[}(\phi f)(z){\frac{{\partial}}{{\partial}z}}{\right]}. \end{aligned}$$ To define the second operation, let $w=(w_1, w_2, \cdots, w_n)$ be another $n$ free variables which are independent with the free variables $z$. For any $K$-derivations $\delta_i={\left[}\Vec v_i(z){\frac{{\partial}}{{\partial}z}}{\right]}$ $(1\leq i\leq m)$ with $\Vec v_i(z)\in {{K\langle \langle z \rangle\rangle}}^{\times n}$, we define $B_+(\delta_1, \delta_2, \cdots, \delta_m)$ by setting, for any $u(z)\in {{K\langle \langle z \rangle\rangle}}$, $$\begin{aligned} \label{Def-B+} & B_+(\delta_1, \delta_2, \cdots, \delta_m)u(z):=\\ &\quad\quad\quad\quad \left. {\left[}\Vec v_1(w){\frac{{\partial}}{{\partial}z}}{\right]}{\left[}\Vec v_2(w){\frac{{\partial}}{{\partial}z}}{\right]}\cdots {\left[}\Vec v_m(w){\frac{{\partial}}{{\partial}z}}{\right]}u(z)\right |_{w=z}.{\nonumber}\end{aligned}$$ Furthermore, for any $k_i\geq 0$ $(1\leq i\leq m)$, we let $B_+(\delta_1^{k_1}, \delta_2^{k_2}, \cdots, \delta_m^{k_m})$ denote the operator obtained by applying $B_+$ to the multi-set of $j_1$-copies of $\delta_1$; $j_2$-copies of $\delta_2$, ..., $j_m$-copies of $\delta_m$. Note that $B_+(\delta_1, \delta_2, \cdots, \delta_m)$ is multi-linear and symmetric on $\delta_i$ $(1\leq i\leq m)$. When $m=1$, $B_+(\delta_1)=\delta_1$. The following two lemmas have been proved in Section $3$ in @GTS-II. \[LL4.1.1\] $(a)$ Let $\delta_i \in {{\mathcal D er\langle \langle z \rangle\rangle}}$ $(1\leq i\leq m)$. Then, for any $\phi\in {{\mathcal D \langle \langle z \rangle\rangle}}$, we have $$\begin{aligned} \label{LL4.1.1-e1} \phi \cdot B_+(\delta_1, \delta_2, \cdots, \delta_m)&= B_+(\phi, \delta_1, \delta_2, \cdots, \delta_m) \\ & \quad +\sum_{i=1}^m B_+ (\delta_1, \cdots, \phi\triangleright \delta_i, \cdots \delta_m).{\nonumber}\end{aligned}$$ $(b)$ For any $\delta_i \in {{\mathcal D er\langle \langle z \rangle\rangle}}$ $(1\leq i\leq m)$, $B_+(\delta_1, \delta_2, \cdots, \delta_m) \in {{\mathcal D \langle \langle z \rangle\rangle}}$. \[Taylor-f(t)\] In terms of the $B_+$ operation defined above, $f(t)\in {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ defined in Proposition $(\ref{TaylorExpansion-DLog})$ is given by $$\begin{aligned} \label{Taylor-f(t)-e1} f(t)= \sum_{k \geq 0} \frac {(-1)^{k}}{k!} B_+{\left(}{\left[}H_t(z) {\frac{{\partial}}{{\partial}z}}{\right]}^k {\right)}.\end{aligned}$$ Now, we fix a non-empty subset $W \subseteq {{\mathbb N}}^+$ and $\alpha \geq 1$. Let $F_t(z)=z-H_t(z) \in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ such that $$\begin{aligned} \label{Def-Hm} H_t(z)=\sum_{m \in W} t^m H_{[m]}(z),\end{aligned}$$ for some $H_{[m]}(z)\in {{K\langle \langle z \rangle\rangle}}^{\times n}$ $(m\in W)$. First, we assign $P_T(z)\in {{K\langle \langle z \rangle\rangle}}^{\times n}$ for each $T\in {{\mathbb T}}^W$ inductively as follows. 1. For the singleton $\circ$ labeled by $m \in W$, denoted by $\circ_m$, we set $P_{\circ_m}(z):= H_{[m]}(z)$. 2. For any non-singleton $T\in \mathbb T^W$ with $\text{rt}_T$ labeled by $m\in W$, write $T=B_+(T_1, T_2, ... , T_d)$ with $T_i\in {{\mathbb T}}^W$ $(1\leq i\leq d)$ and $$\begin{aligned} \label{Def-PT} P_T (z):= B_+ {\left(}{\left[}P_{T_1}(z){\frac{{\partial}}{{\partial}z}}{\right]}, ... , {\left[}P_{T_m}(z) {\frac{{\partial}}{{\partial}z}}{\right]}{\right)}H_{[m]}(z).\end{aligned}$$ Let ${{\mathcal H}}_{CK}^W[1]$ be the vector subspace of ${{\mathcal H}}_{CK}^W$ spanned by $T\in {{\mathbb T}}^W$. We define a linear map $\mathcal U_{F_t}: {{\mathcal H}}_{C}^W[1] \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ by setting $$\begin{aligned} \label{Def-cU} \mathcal U_{F_t}: {{\mathcal H}}_{CK}^W[1] & \to {{K\langle \langle z \rangle\rangle}}^{\times n} \\ T& \to P_T(z).{\nonumber}\end{aligned}$$ Next we assign $D_T(z)\in {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ for each $T\in {{\bar{\mathbb T}}}^W=B_+({{\mathbb T}}^W)$ as follows. 1. For the singleton $T=\circ$, we set $D_T=id$. 2. For any rooted tree $T=B_+(T_1, T_2, \cdots, T_m)$ with $T_i\in {{\mathbb T}}^W$, we set $$\begin{aligned} \label{Def-DT} D_T(z) := B_+ {\left(}{\left[}P_{T_1}(z) {\frac{{\partial}}{{\partial}z}}{\right]}, {\left[}P_{T_2}(z) {\frac{{\partial}}{{\partial}z}}{\right]}, ... , {\left[}P_{T_m}(z) {\frac{{\partial}}{{\partial}z}}{\right]}{\right)}.\end{aligned}$$ Note that, from the definition of $P_T(z)$'s above, it is easy to see inductively that, for any $T\in {{\mathbb T}}^W$, $o(P_T(z))\geq \alpha$. Hence we do have $D_T \in {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ for any $T\in \bar{{{\mathbb T}}}^W$. Now we define a linear map $\mathcal A_{F_t}: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ by setting $$\begin{aligned} \label{Def-cA} \mathcal A_{F_t}: {{\mathcal H}}_{GL}^W & \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}\\ T&\to D_T(z).{\nonumber}\end{aligned}$$ When $F_t\in {{\mathbb A_t^{[\alpha]}\langle \langle z\rangle\rangle}}$ is clear in the context, $\mathcal U_{F_t}$ and ${{\mathcal A}}_{F_t}$ will also be simply written as $\mathcal U$ and ${{\mathcal A}}$, respectively. From the definitions above, the following lemma follows immediately. \[LL4.1.2\] $(a)$ For any $T\in {{\mathbb T}}^W$ with the root labeled by $m\in W$, we have $$\begin{aligned} \label{LL4.1.2-e1} {{\mathcal A}}(B_+(T))H_{[m]}(z) = D_T. \end{aligned}$$ $(b)$ For any $m\geq 1$, we have $$\begin{aligned} \label{LL4.1.2-e2} {{\mathcal A}}\circ B_+ = B_+ \circ {{\mathcal A}}^{\times m} \circ B_+^{\times m}, \end{aligned}$$ as maps from $({{\mathbb T}}^W)^{\times m}$ to ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. Now let us prove the following technic lemma. \[LL4.1.3\] For any $S \in \bar{\mathbb P}^W$ and $T\in {{\mathbb T}}^W$, we have $$\begin{aligned} \label{LL4.1.3-e1} D_S \cdot P_{T}= \mathcal U (S \cdot T),\end{aligned}$$ where $S \cdot T$ is the "product" of $S$ and $T$ as in Remark $(\ref{action})$. <span>*Proof:*</span> We use the induction on the number $v(T)$ of vertices of $T$. First, when $v(T)=1$, then $T$ is the singleton labeled by some $m\in W$. Then, by Eqs.$(\ref{Def-PT})$ and $(\ref{Def-DT})$, it is easy to see that both sides of Eq.$(\ref{LL4.1.2-e2})$ in this case are $P_S(z)$. Now, assume $v(T)\geq 2$. We write $S=B_+(S')$ and $T=(T_1, \cdots, T_d)$ with $S, T_i\in {{\mathbb T}}^W$ $(1 \leq i \leq d)$. Let $m\in W$ be the label of the root of $T$. Set $\phi:=D_S$ and $\delta_i:=D_{T_i}$ $(1\leq i\leq d)$. Note that, by our conditions, $\phi$ and $\delta_i=D_{T_i}$ $(1\leq i\leq d)$ are all $K$-derivations. Now by Eqs.(\[Def-PT\]) and (\[LL4.1.1-e1\]), we have $$\begin{aligned} D_S \cdot P_{T}&= \phi \cdot B_+ ( \delta_1, \, \delta_2, \cdots \, \delta_d )\, H_{[m]}(z) \\ &=B_+( \phi, \, \delta_1, \, \delta_2,\, \cdots \, \delta_d )\, H_{[m]}(z) \\ & \quad \quad + \sum_{1\leq i\leq d} B_+( \delta_1, \cdots, \, \phi \triangleright \delta_i, \cdots, \, \delta_d ) \, H_{[m]}(z) \\ \intertext{Applying Eq.\,(\ref{collapse}) and the induction assumption :} &=B_+( \phi, \, \delta_1, \, \delta_2,\, \cdots \, \delta_d )\, H_{[m]}(z) \\ & \quad \quad + \sum_{1\leq i\leq d} B_+( \delta_1, \cdots, \, {\left[}P_{S'\cdot T_i}(z){\frac{{\partial}}{{\partial}z}}{\right]}, \cdots, \, \delta_d ) \, H_{[m]}(z) \\ \intertext{Applying Eq.\,(\ref{LL4.1.2-e2}):} &={{\mathcal A}}{\left(}B_+( S', T_1, \, \cdots, T_2 ) {\right)}H_{[m]}(z)\\ & \quad + \sum_{1\leq i\leq d} {{\mathcal A}}{\left(}\, B_+( T_1, \cdots, \, S'\cdot T_i, \cdots, \, T_d {\right)}\, H_{[m]}(z) \\ \intertext{Applying Eq.\,(\ref{LL4.1.2-e1}):} &=\mathcal U {\left(}B_+( S', T_1, \, \cdots, T_2 ) {\right)}\\ &\quad\quad + \sum_{1\leq i\leq d}\mathcal U {\left(}B_+( T_1, \cdots, \, S'\cdot T_i, \cdots, \, T_d ){\right)}\end{aligned}$$ Note that, by the definition of $S\cdot T$ (see Remark \[action\]), we have $$\begin{aligned} \label{LL4.1.3-pe1} S\cdot T&= S\cdot B_+(T_1, \,T_2, \, \cdots, \, T_2 ) \\ & = B_+( S', T_1, \, \cdots, T_2 )+ \sum_{1\leq i\leq d} B_+( T_1, \cdots, \, S'\cdot T_i, \cdots, \, T_d ). {\nonumber}\end{aligned}$$ Combining the two equations above and using the linearity of $\mathcal U$, we get Eq.(\[LL4.1.3-e1\]). $\Box$ Now, we can formulate and prove the first main result of this section. \[S3-Main-1\] The linear map $\mathcal A_{F_t}: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ is a homomorphisms of $K$-Hopf algebras. <span>*Proof:*</span> Let us first show the linear map $\mathcal A$ is a homomorphism of $K$-algebras. By the definition of $D_T$'s and ${{\mathcal A}}$, ${{\mathcal A}}$ maps the identity element $\circ \in {{\mathcal H}}_{GL}^W$ to the identity element $D_\circ=1$ of ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. So we only need show, for any $S, T\in {{\bar{\mathbb T}}}^W$, we have $$\begin{aligned} \label{S3-Main-pe1} D_S\cdot D_{T}=D_{S \cdot T},\end{aligned}$$ where $\cdot$ denotes the both algebra product of ${{\mathcal H}}_{GL}^W$ and ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. By the fact pointed in $(b)$ of Theorem \[Dual-MM\], we may assume that $S$ is primitive, in which case $D_S$ is a derivation. Now, assume $v(T)\geq 2$. (When $v(T)=1$, Eq.(\[S3-Main-pe1\]) is trivial). We write $S=B_+(S')$ and $T=(T_1, \cdots, T_d)$ with $S, T_i\in {{\mathbb T}}^W$ $(1 \leq i \leq d)$. Let $m\in W$ be the label of the root of $T$. Set $\phi:=D_S$ and $\delta_i:=D_{T_i}$ $(1\leq i\leq d)$. Now by Eqs.(\[Def-DT\]) and (\[LL4.1.1-e1\]), we have $$\begin{aligned} & D_S \cdot D_{T}= \phi \cdot B_+ ( \delta_1, \, \delta_2, \cdots \, \delta_d ) \\ & =B_+( \phi, \, \delta_1, \, \delta_2,\, \cdots \, \delta_d ) + \sum_{1\leq i\leq d} B_+( \delta_1, \cdots, \, \phi \triangleright \delta_i, \cdots, \, \delta_d ) \\ \intertext{Applying Eqs.\,(\ref{collapse}) and (\ref{LL4.1.3-e1}):} &=B_+( \phi, \, \delta_1, \, \delta_2,\, \cdots \, \delta_d ) + \sum_{1\leq i\leq d} B_+( \delta_1, \cdots, \, {\left[}P_{S'\cdot T_i}(z){\frac{{\partial}}{{\partial}z}}{\right]}, \cdots, \, \delta_d ) \\ \intertext{Applying Eq.\,(\ref{LL4.1.2-e2}) and the linearity of ${{\mathcal A}}$:} &={{\mathcal A}}{\left(}B_+( S', T_1, \, \cdots, T_2 ) + \sum_{1\leq i\leq d} B_+( T_1, \cdots, \, S'\cdot T_i, \cdots, \, T_d {\right)}\, \\ \intertext{Applying Eq.\,(\ref{LL4.1.3-pe1}):} &={{\mathcal A}}(S\cdot T) \\ &=D_{S\cdot T}.\end{aligned}$$ Hence, we have proved that ${{\mathcal A}}$ is a $K$-algebra homomorphism. To see that it is also a homomorphism of Hopf algebras, note that, again, by the fact in $(b)$ of Theorem \[Dual-MM\], we know that ${{\mathcal H}}_{GL}^W$ as a Hopf algebra is isomorphic to the universal enveloping algebra of the Lie sub-algebra ${{\mathcal P}}({{\mathcal H}}_{GL}^W)$ generated by the primitive rooted trees. On the other hand, the Hopf algebra structure of ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ is also obtained by viewing it as the universal enveloping algebra of the Lie algebra ${{\mathcal D er\langle \langle z \rangle\rangle}}$. Since the Lie brackets of ${{\mathcal P}}({{\mathcal H}}_{GL}^W)$ and ${{\mathcal D er\langle \langle z \rangle\rangle}}$ are both given respectively by the commutator brackets of the algebra products of ${{\mathcal H}}_{GL}^W$ and ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$, the restriction of ${{\mathcal A}}: {{\mathcal P}}({{\mathcal H}}_{GL}^W)\to {{\mathcal D er\langle \langle z \rangle\rangle}}$ is a homomorphism of Lie algebras. Consequently, ${{\mathcal A}}$ also preserves the Hopf algebras of the corresponding enveloping algebras, which are ${{\mathcal H}}_{GL}^W$ and ${{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$. $\Box$ Our second main result of this section is the following theorem. \[S3-Main-2\] Let ${ \Omega_{F_t} }$ and $\Omega_W$ the <span><span>${\mathcal N}$CS</span> </span>systems in Theorems $\ref{S-Correspondence-2}$ and $\ref{Main-Thm-Trees}$, respectively, and $\mathcal A_{F_t}: {{\mathcal H}}_{GL}^W \to {{{{\mathcal D}}^{[\alpha]}\langle \langle z \rangle \rangle}}$ be the $K$-Hopf algebras homomorphism in Theorem \[S3-Main-1\]. Then we have $\mathcal A_{F_t}^{\times 5}(\Omega_{{\mathbb T}}^W) = \Omega_{F_t}$. Before we prove the theorem above, we need the following lemma proved in @GTS-IV, which gives a different way to look at the generating function $\tilde f(t)$ defined in Eq.(\[Def-3f(t)\]). \[Taylor-for-3f(t)\] For any $m\in W$, let $\kappa_m$ denote the singleton labeled by $m$ and set $$\begin{aligned} \label{Def-kappa} \kappa(t):=\sum_{m\in W} t^m \kappa_m.\end{aligned}$$ Then, we have $$\begin{aligned} \label{Taylor-for-3f(t)-e1} \tilde f(t)=1+\sum_{d\geq 1} \frac{(-1)^{d}}{d!} B_+( \, \kappa (t)^d \,),\end{aligned}$$ where $B_+( \, \kappa (t)^d \,)$ denotes the term obtained by applying $B_+$ to $d$-copies of $\kappa (t)$. : By Corollary $2.8$ in @GTS-I, it will be enough to show that ${{\mathcal A}}$ maps one component of $\Omega_{{\mathbb T}}^W$ to the component of $\Omega_{F_t}$ at the same location. Below we will show ${{\mathcal A}}(\tilde f(t))=f(t)$. First, for any $m\in W$, let $\kappa_m$ denote the singleton labeled by $m$ and set $\kappa(t):=\sum_{m\in W} t^m \kappa_m.$ By Eq.$(\ref{Def-Hm})$ and the definition of ${{\mathcal A}}$ in Eq.$(\ref{Def-cA})$, we have $$\begin{aligned} \label{S3-Main-pe2} {{\mathcal A}}B_+( \kappa(t)) )&=\sum_{m\in W} t^m {{\mathcal A}}(B_+(\kappa (t)))\\ &=\sum_{m\in W} t^m {\left[}H_{[m]}(z)\frac {\partial}{{\partial}z} {\right]}{\nonumber}\\ &={\left[}H_t(z)\frac {\partial}{{\partial}z} {\right]}{\nonumber}\end{aligned}$$ By Eq.$(\ref{LL4.1.2-e2})$ and the equation above, we have for any $d\geq 1$, $$\begin{aligned} \label{S3-Main-pe3} ({{\mathcal A}}\circ B_+) ( \kappa(t))^d )&= (B_+ \circ {{\mathcal A}}^d \circ B_+^d )(\kappa(t)^d)\\ &=B_+( {\left[}H_t(z)\frac {\partial}{{\partial}z} {\right]}^d ). {\nonumber}\end{aligned}$$ Therefore, by Eq.$(\ref{Taylor-for-3f(t)-e1})$ in Lemma \[Taylor-for-3f(t)\] and the equation above, we have $$\begin{aligned} {{\mathcal A}}{\left(}\tilde f(t){\right)}&=1+\sum_{d\geq 1} \frac{(-1)^{d}}{d!} {{\mathcal A}}{\left(}B_+( \, \kappa (t)^d \,) {\right)}\\ &=1+\sum_{d\geq 1} \frac{(-1)^{d}}{d!} B_+( {\left[}H_t(z)\frac {\partial}{{\partial}z} {\right]}^d ) \\ \intertext{By Eq.\,$(\ref{Taylor-f(t)-e1})$ in Lemma \ref{Taylor-f(t)}:} &=f(t). \end{aligned}$$ $\Box$ By applying Lemma \[LL4.1.3\] and Theorem \[S3-Main-1\], it is easy to see the following proposition also holds. \[CD-1\] Let $\tilde {\mathcal L}: {{\mathcal H}}_{GL}^W \times {{\mathcal H}}_{CK}^W[1] \to {{\mathcal H}}_{CK}^W[1]$
{'source': 'arXiv_out/math0509138'}