---
title: Contracting Arborification in Hopf Algebras
url: https://www.emergentmind.com/topics/contracting-arborification
type: topic
---

# Contracting Arborification in Hopf Algebras

Contracting arborification is a Hopf-algebraic construction that sends decorated rooted trees or forests to non-commutative words while preserving the combinatorics of grafting, admissible cuts, and the relevant product–coproduct structures. In the multiple zeta value setting, it is the unique Hopf-algebra map from the Butcher–Connes–Kreimer algebra of series-type decorated rooted trees to the stuffle algebra $\mathbb{k}\langle\mathbb{N}\rangle$; in a more general semigroup-valued formulation, it is a morphism from the Hopf algebra of decorated rooted forests to Hoffman's quasi-shuffle Hopf algebra. In Fan’s formulation, contracting arborification is the series-side map $a_Y$, and the central problem is to construct a natural tree-level map relating it to simple arborification on the integral side so that the expected square commutes [2508.20387, 1609.03549].

## 1. Algebraic setting

Let $Y=\{y_n\mid n\in\mathbb{N}_{>0}\}$. A $Y$-decorated rooted tree is a rooted tree whose vertices $v$ carry labels $\delta(v)=y_{k_v}$. The corresponding Hopf algebra $H_{BCK}^Y$ is the Connes–Kreimer, or Butcher–Connes–Kreimer, Hopf algebra generated by all nonempty $Y$-decorated rooted trees, with product given by disjoint union and coproduct
$$
\Delta(T)=T\otimes 1+1\otimes T+\sum_{c\ \mathrm{proper\ cut}} P_c(T)\otimes R_c(T),
$$
where $P_c(T)$ is the pruned forest above the cut and $R_c(T)$ is the remaining rooted tree. This makes $H_{BCK}^Y$ into a graded connected commutative Hopf algebra [2508.20387].

The target algebra on the series side is $\mathbb{k}\langle\mathbb{N}\rangle$, the free non-commutative polynomial algebra on the alphabet $Y$, endowed with the stuffle, or quasi-shuffle, product and the deconcatenation coproduct. For words $u,v\in Y^*$ and letters $a=y_n$, $b=y_m$,
$$
(a u)\ast(b v)=a(u\ast b v)+b(a u\ast v)+(a\sqcup b)(u\ast v),
$$
with $a\sqcup b=y_{n+m}$. Equipped with this product and coproduct, $\mathbb{k}\langle\mathbb{N}\rangle$ is again a graded connected commutative Hopf algebra. Ebrahimi-Fard, Fauvet, and Manchon formulate the same structure for a commutative semigroup $\Omega$, writing $H^\Omega=\mathbb{k}\langle\Omega\rangle$ with Hoffman's quasi-shuffle product $\star$ and deconcatenation coproduct $\Delta_{\mathrm{dec}}$ [2508.20387, 1609.03549].

## 2. Defining morphism and universality

For each generator $y_n\in Y$, Fan defines a linear operator $L^{y_n}$ on $\mathbb{k}\langle\mathbb{N}\rangle$ by
$$
L^{y_n}(w)=w\,y_n.
$$
This operator is a Hochschild $1$-cocycle for the deconcatenation coproduct:
$$
\Delta(L^{y_n}(w))=L^{y_n}(w)\otimes 1+(Id\otimes L^{y_n})\Delta(w).
$$
By the universal property of the Connes–Kreimer algebra, due to Foissy–Manchon, there is a unique Hopf-algebra map
$$
a_Y:H_{BCK}^Y\to\mathbb{k}\langle\mathbb{N}\rangle
$$
such that
$$
a_Y\circ B_+^{y_n}=L^{y_n}\circ a_Y
$$
for every $n>0$, where $B_+^{y_n}$ grafts a forest onto a new root labeled $y_n$. This unique map is the contracting arborification [2508.20387].

The same universal mechanism appears in broader Hopf-algebraic treatments. Fauvet and Menous describe the Connes–Kreimer algebra as the initial object in the category of connected graded bialgebras equipped with a Hochschild $1$-cocycle, which forces the existence and uniqueness of arborification-type morphisms. Ebrahimi-Fard, Fauvet, and Manchon state the semigroup-valued analogue as a unique Hopf-algebra morphism
$$
a:\mathcal{H}^{\Omega}_{\mathrm{forest}}\to H^\Omega
$$
characterized by
$$
a\circ B_\omega=L_\omega\circ a,
$$
with $L_\omega(w)=\omega w$ [1212.4740, 1609.03549].

## 3. Explicit combinatorics and relation to multiple zeta values

The recursive definition immediately gives $a_Y(\emptyset)=1$ and
$$
a_Y(B_+^{y_n}(F))=a_Y(F)\,y_n.
$$
The nontrivial content appears when rooted-tree factors interact under the product in $H_{BCK}^Y$. Hoffman–Manchon’s inductive formula states that for roots labeled $y_n$ and $y_{n'}$ grafted onto forests $F,F'$,
$$
a_Y\bigl(B_+^{y_n}(F)\cdot B_+^{y_{n'}}(F')\bigr)
=
y_n\cdot a_Y\bigl(B_+^{y_{n'}}(F')\,F\bigr)
+
y_{n'}\cdot a_Y\bigl(B_+^{y_n}(F)\,F'\bigr)
+
y_{n+n'}\cdot a_Y(F\,F').
$$
This is exactly the usual stuffle rule [2508.20387].

That rule encodes the series definition of multiple zeta values,
$$
\zeta(k_1,\ldots,k_d)=\sum_{0<n_1<\cdots<n_d} n_1^{-k_1}\cdots n_d^{-k_d},
$$
with a ladder tree $y_{k_1}\to y_{k_2}\to\cdots\to y_{k_d}$ interpreted as the word $y_{k_1}\cdots y_{k_d}$ in $\mathbb{k}\langle\mathbb{N}\rangle$. In the more general mould-theoretic presentation, contracting arborification is described as a refinement of ordinary arborification in which one contracts branches of a tree into blocks and sums over all such admissible contractions in one go, without first expanding into words. Ebrahimi-Fard, Fauvet, and Manchon give an equivalent combinatorial description as a sum over linear extensions with contractions, allowing immediate contraction of comparable vertices by adding their decorations in $\Omega$ [2508.20387, 1212.4740, 1609.03549].

## 4. Series-side and integral-side arborifications

The integral-side alphabet is $X=\{x_0,x_1\}$. The algebra $\mathbb{k}\langle X\rangle$, endowed with the shuffle product and deconcatenation coproduct, carries the integral representation of multiple zeta values. Fan defines a natural map
$$
s:\mathbb{k}\langle\mathbb{N}\rangle\to\mathbb{k}\langle\{0,1\}\rangle
$$
on words by
$$
s(y_{n_1}\cdots y_{n_d})
=
x_1x_0^{n_1-1}x_1x_0^{n_2-1}\cdots x_1x_0^{n_d-1}.
$$
This is an algebra map from the stuffle algebra $(\mathbb{k}\langle\mathbb{N}\rangle,\ast)$ to the shuffle algebra $(\mathbb{k}\langle X\rangle,\shuffle)$. In parallel, the simple arborification
$$
a_X:H_{BCK}^X\to\mathbb{k}\langle X\rangle
$$
is uniquely determined by
$$
a_X\circ B_+^{x_0}=L^{x_0}\circ a_X,\qquad
a_X\circ B_+^{x_1}=L^{x_1}\circ a_X.
$$
The desired relation is a Hopf-algebra map $s^T$ making the square commute:
$$
a_X\circ s^T=s\circ a_Y.
$$
This is the tree-level bridge between the series and integral arborifications of multiple zeta values [2508.20387].

The obvious candidate due to Manchon,
$$
s^T=\ell_X\circ s\circ a_Y,
$$
does make the diagram commute, but it ignores tree geometry, since $\ell_X$ is the ladder-tree section. Clavier proposed a more natural forest-preserving map $s^N$, but the simplest two-branch tree shows that $a_X\circ s^N\neq s\circ a_Y$ in general. Fan’s exposition isolates this failure on the tree with root $y_b$ and two children $y_a,y_c$, where $a_Y(Y)=y_b\ast(y_a y_c)=y_b y_a y_c+y_b y_c y_a+y_{b+a}y_c+\cdots$, while $a_X(s^N(Y))$ fails by one extra term [2508.20387].

## 5. Planar lifting, error terms, and the corrected map

Fan resolves the noncommutativity problem by passing to planar rooted trees. The strategy has four steps. First, one replaces $H_{BCK}^Y$ and $H_{BCK}^X$ by their planar analogues $H_{NBCK}^{PY}$ and $H_{NBCK}^{PX}$; the maps $a_Y,a_X$ lift to $a_{PY},a_{PX}$, and $s^N$ lifts to $s^{PN}$. Second, for each planar tree $Y$ one defines a finite error-sum $Y^e$ by comparing the expansions $a_{PX}(s^{PN}(Y))$ and $s(a_{PY}(Y))$ via the shuffle/stuffle relations; one checks that $Y^e=0$ exactly when $Y$ is a ladder tree. Third, these corrections are assembled into a single linear operator $\phi$ on $H_{NBCK}^{PY}$, defined recursively by grafting the errors along a process-tree $pr(Y)$:
$$
\phi(Y)=Y+\sum_{v\in \mathrm{Vertices}(pr(Y))}\delta_{pr(Y)}(v)^e.
$$
Fourth, one sets
$$
s^{PT}:=s^{PN}\circ\phi
$$
and finally
$$
s^T:=(\text{projection to non-planar})\circ s^{PT}\circ(\text{averaging over all planar-orders}).
$$
These are the core constructions of the paper [2508.20387].

The resulting theorem is that
$$
a_{PX}\circ s^{PT}=s\circ a_{PY}
$$
on planar trees, proved by induction on the number of leaves. After projection, one obtains
$$
a_X\circ s^T=s\circ a_Y.
$$
This gives the desired commutative square that Manchon asked for. A plausible implication is that the planar lift is not an auxiliary convenience but the mechanism that localizes precisely the error terms needed to preserve tree geometry while restoring commutativity [2508.20387].

## 6. Broader Hopf-algebraic context, applications, and terminology

In Ecalle’s mould–comould formalism, contracting arborification is tied to character factorization and duality. Fauvet and Menous describe ordinary arborification as a factorization of characters involving the shuffle or quasishuffle Hopf algebras, and contracting arborification as the refinement in which admissible contractions are incorporated directly. They also formulate the dual picture through the explicit duality between the decorated Connes–Kreimer and Grossman–Larson algebras, where coarborification is adjoint to the arborification map. In their account, contracting arborification yields explicit closed-form expressions for arborified linearization moulds, and under Brjuno or Siegel-type small-divisor conditions the corresponding expansion converges, recovering analytic linearization results of Poincaré–Siegel–Brjuno type [1212.4740].

Ebrahimi-Fard, Fauvet, and Manchon place the same construction inside a comodule-bialgebra structure for word-series substitution and mould composition. They introduce an internal coproduct $\Gamma$ on $H^\Omega$, prove that $(H^\Omega,\star,\Delta_{\mathrm{dec}})$ is a right comodule-Hopf algebra over $(H^\Omega,\star,\Gamma)$, and show that contracting arborification intertwines the internal coproducts:
$$
\Gamma\circ a=(a\otimes a)\circ \Gamma_{\mathrm{forest}}.
$$
In dual terms, the diamond composition of arborescent moulds agrees with that of ordinary moulds after arborification [1609.03549].

Related applications appear in normal-form expansions for dispersive PDEs. Bruned and Schratz use the arborification map from the Butcher–Connes–Kreimer Hopf algebra to the shuffle Hopf algebra as the combinatorial backbone of repeated integrations by parts, obtaining explicit B-series-style expressions for terms in the normal-form iteration for periodic cubic NLS. Their toy example for the tree $B_+^a(\bullet_b\cdot \bullet_c)$ gives
$$
\mathfrak{a}(\tau)=(b\shuffle c)a=(bc+cb)a,
$$
illustrating the systematic packaging of shuffle identities by a Hopf morphism [2409.03642].

A terminological ambiguity occasionally appears outside this algebraic literature. One exposition of Tree-Contractibility uses “contracting arborification” for the problem of deciding whether an undirected graph can be made acyclic by at most $k$ edge contractions; that problem has a deterministic $4.88^k n^{O(1)}$-time algorithm and no polynomial kernel unless $\mathrm{coNP}\subseteq \mathrm{NP/poly}$ [1104.3677]. In the Hopf-algebraic literature, however, contracting arborification denotes the morphism on decorated rooted forests and its associated compatibility with shuffle, stuffle, or quasi-shuffle structures [2508.20387, 1609.03549].

Source: https://www.emergentmind.com/topics/contracting-arborification