---
title: Tubdigons and Fine's Identity in Combinatorics
url: https://www.emergentmind.com/topics/tubdigons
type: topic
---

# Tubdigons and Fine's Identity in Combinatorics

Searching arXiv for papers directly relevant to “Tubdigons,” including related work on subdigons and graph tubings.
Tubdigons are roofed, subdivided polygons that generalize the subdigons of Wildberger and Rubine by allowing faces of degree \(2\). In the formulation used to obtain a new proof of Fine’s identity, a tubdigon is a combinatorial and geometric object whose recursive structure yields a formal polynomial equation, and whose coefficients admit a second, direct stars-and-bars interpretation. Equating these two counts produces Fine’s multinomial identity [2508.12055].

## 1. Definition and basic combinatorial structure

A subdigon of type
\[
\mathbf{m}=[m_2,m_3,m_4,\ldots]
\]
is a convex planar polygon with a distinguished side called the roof, subdivided by non-intersecting diagonals into smaller faces consisting of \(m_2\) triangles, \(m_3\) quadrilaterals, \(m_4\) pentagons, and so on, with only finitely many \(m_i\) nonzero. The null subdigon \(|\) has \(2\) vertices, \(1\) edge, no faces, and type \([]\) [2508.12055].

Tubdigons extend this class by allowing \(2\)-gons. A tubdigon has type
\[
[m_1;\mathbf{m}] = [m_1;m_2,m_3,\ldots],
\]
where \(m_1\) is the number of \(2\)-gons, \(m_2\) the number of triangles, \(m_3\) the number of quadrilaterals, and so forth. Geometrically, \(2\)-gons cannot be drawn with two straight edges in the plane, so at least one of the edges of every \(2\)-gon is drawn curved [2508.12055].

For a subdigon of type \(\mathbf{m}\), the numbers of vertices, edges, and faces are
\[
V_{\mathbf{m}} = 2 + m_2 + 2m_3 + \cdots,\qquad
E_{\mathbf{m}} = 1 + 2m_2 + 3m_3 + \cdots,\qquad
F_{\mathbf{m}} = m_2 + m_3 + \cdots,
\]
and they satisfy Euler’s formula \(V-E+F=1\). A tubdigon keeps the same vertex count as its underlying subdigon and increases edges and faces by \(m_1\); equivalently, each added \(2\)-gon contributes one new edge and one new face, but no new vertices [2508.12055].

This generalization has a tree-theoretic interpretation. Subdigons are in natural bijection with plane trees with no unary nodes, whereas tubdigons include unary nodes and therefore correspond naturally to general plane trees [2508.12055].

## 2. Recursive specification

Subdigons are built recursively from roofed central polygons. There is a family of \(k\)-ary operators
\[
\_k(s_1,s_2,\ldots,s_k)\qquad (k\ge 2),
\]
where \(\_k(s_1,\ldots,s_k)\) is formed by taking a central roofed \((k+1)\)-gon and attaching the subdigons \(s_1,\ldots,s_k\) along the sides adjacent to the roof, in counterclockwise order. Every non-null subdigon is uniquely of the form \(\_k(s_1,\ldots,s_k)\) for some \(k\ge 2\), which yields the structural equation
\[
S = | + \_2(S,S) + \_3(S,S,S) + \_4(S,S,S,S)+\cdots
\]
for the multiset \(S\) of all subdigons [2508.12055].

Tubdigons add a unary operator \(\_1\), corresponding to attaching a single tubdigon to a roofed \(2\)-gon. If \(T\) denotes the multiset of all tubdigons, then every non-null tubdigon is exactly one of
\[
\_1(r),\qquad \text{or}\qquad \_k(r_1,\ldots,r_k)\ \text{for }k\ge 2,
\]
and the multiset specification becomes
\[
T = | + \_1(T) + \_2(T,T) + \_3(T,T,T) + \_4(T,T,T,T)+\cdots.
\]
The addition of the unary operator is the precise combinatorial mechanism by which \(2\)-gons enter the theory [2508.12055].

The type data are encoded by an accounting monomial. For a subdigon \(s\) of type \(\mathbf{m}\),
\[
\psi(s)=t_2^{m_2}t_3^{m_3}t_4^{m_4}\cdots,
\]
while for a tubdigon \(r\) of type \([m_1;\mathbf{m}]\),
\[
\psi(r)=t_1^{m_1}t_2^{m_2}t_3^{m_3}\cdots.
\]
If \(\Psi(M)=\sum_{r\in M}\psi(r)\), then the generating function for all tubdigons is
\[
\Psi(T)=\sum_{[m_1;\mathbf{m}]\ge 0} R[m_1;\mathbf{m}]\,t_1^{m_1}t^{\mathbf{m}},
\]
where \(R[m_1;\mathbf{m}]\) is the number of tubdigons of type \([m_1;\mathbf{m}]\) [2508.12055].

## 3. Polynomial equation and Wildberger’s formula

Applying \(\Psi\) to the tubdigon specification yields the functional equation
\[
\Psi(T)=1+t_1\Psi(T)+t_2\Psi(T)^2+t_3\Psi(T)^3+t_4\Psi(T)^4+\cdots,
\]
or equivalently
\[
0=1-(1-t_1)\Psi(T)+t_2\Psi(T)^2+t_3\Psi(T)^3+\cdots.
\]
This is a polynomial equation of the form
\[
c_0-c_1x+c_2x^2+c_3x^3+\cdots=0
\]
with
\[
c_0=1,\qquad c_1=1-t_1,\qquad c_k=t_k\ (k\ge 2)
\]
[2508.12055].

Wildberger and Rubine’s soft polynomial formula gives the formal series solution of such an equation. In the notation used for subdigons,
\[
[t_2,t_3,\ldots]=\sum_{\mathbf{m}\ge 0} C_{\mathbf{m}}\,t^{\mathbf{m}}
\]
satisfies
\[
[t_2,t_3,\ldots]=1+t_2[t_2,t_3,\ldots]^2+t_3[t_2,t_3,\ldots]^3+\cdots,
\]
and the soft polynomial formula expresses the solution of a general polynomial equation in terms of these coefficients \(C_{\mathbf{m}}\) [2508.12055].

Substituting the tubdigon coefficients into that formula gives
\[
\Psi(T)=\sum_{\mathbf{m}\ge 0}\frac{C_{\mathbf{m}}}{(1-t_1)^{E_{\mathbf{m}}}}\,t^{\mathbf{m}}.
\]
The factor \((1-t_1)^{-E_{\mathbf{m}}}\) is the formal contribution of the unary operator \(\_1\), and it is precisely the term whose multinomial expansion later produces Fine’s identity [2508.12055].

## 4. Enumeration by type

There is also a direct combinatorial count of tubdigons of fixed type. Fix a subdigon \(s\) of type \(\mathbf{m}\), with \(E_{\mathbf{m}}\) edges. To obtain a tubdigon of type \([m_1;\mathbf{m}]\) lying over \(s\), one distributes \(m_1\) indistinguishable extra edge slots among the \(E_{\mathbf{m}}\) distinguishable edges of \(s\). This is a stars-and-bars problem, so the number of such tubdigons over \(s\) is
\[
\binom{m_1+E_{\mathbf{m}}-1}{m_1}.
\]
If \(C_{\mathbf{m}}\) is the number of subdigons of type \(\mathbf{m}\), then
\[
R[m_1;\mathbf{m}] = C_{\mathbf{m}}\binom{m_1+E_{\mathbf{m}}-1}{m_1}
\]
[2508.12055].

The same source also records a closed form derived from Erdélyi and Etherington:
\[
C_{\mathbf{m}}=\frac{(E_{\mathbf{m}}-1)!}{(V_{\mathbf{m}}-1)!\,(m_2!m_3!\cdots)},
\]
which yields the corresponding closed expression for \(R[m_1;\mathbf{m}]\). However, the stars-and-bars formula is the decisive ingredient for the proof of Fine’s identity [2508.12055].

This enumeration situates tubdigons in an established combinatorial lineage. The count is described as well known in combinatorics, with related appearances in work of Raney on well-formed expressions of \(k\)-ary function applications, Tutte on plane trees of a given type, and Kreweras on noncrossing partitions with and without singletons [2508.12055].

## 5. Fine’s identity from coefficient extraction

The tubdigon proof of Fine’s identity compares the direct stars-and-bars count with the coefficient obtained from the polynomial solution. Expanding
\[
\frac{1}{(1-t_1)^{E_{\mathbf{m}}}}
=\left(\sum_{i\ge 0} t_1^i\right)^{E_{\mathbf{m}}}
\]
by the multinomial theorem gives
\[
R[m_1;\mathbf{m}]
=
\sum_{\substack{\sum_{i\ge 0} j_i = E_{\mathbf{m}}\\ \sum_{i\ge 0} i j_i = m_1}}
\binom{E_{\mathbf{m}}}{j_0,j_1,j_2,\ldots}.
\]
After reindexing, this becomes
\[
R[m_1;\mathbf{m}]
=
\sum_{\substack{\sum_{i\ge 1} k_i = E_{\mathbf{m}}\\ \sum_{i\ge 1} i k_i = m_1+E_{\mathbf{m}}}}
\binom{E_{\mathbf{m}}}{k_1,k_2,\ldots}
\]
[2508.12055].

The direct count gives
\[
R[m_1;\mathbf{m}] = \binom{m_1+E_{\mathbf{m}}-1}{m_1}.
\]
Setting
\[
r=E_{\mathbf{m}},\qquad n=m_1+E_{\mathbf{m}},
\]
one obtains
\[
\sum_{\substack{\sum_{i\ge 1} k_i = r\\ \sum_{i\ge 1} i k_i = n}}
\binom{r}{k_1,k_2,\ldots}
=
\binom{n-1}{r-1},
\]
which is Fine’s identity:
\[
\sum_{\substack{k_1+k_2+k_3+\dots = r\\ k_1+2k_2+3k_3+\dots = n}}
\binom{r}{k_1,k_2,k_3,\dots}
=
\binom{n-1}{r-1}
\]
[2508.12055].

In the tubdigon interpretation, \(r\) is the number of edges in the underlying subdigon, \(m_1=n-r\) is the number of added \(2\)-gons, and the multinomial coefficient records how multiplicities are assigned to the base edges. The binomial coefficient on the right is the stars-and-bars count for placing those extra \(2\)-gons among the \(r\) edges [2508.12055].

## 6. Related notions and terminological boundaries

Tubdigons should be distinguished from two nearby but separate notions in the arXiv literature. In graph-associahedra, the basic object is a tubing on a finite simple graph: a non-empty family of tubes, containing the universal tube, such that every pair of tubes is compatible. Here a tube is a subset of nodes whose induced subgraph is connected, and the resulting poset of tubings realizes the graph-associahedron \(\mathcal{K}\Gamma\) [1910.00670]. This theory concerns graph combinatorics, substitution operations, and operadic categories rather than roofed subdivided polygons.

They should also be distinguished from digons in arrangements of pseudocircles. In that setting, a digon is a \(2\)-cell in the cell structure of a simple arrangement of pairwise intersecting pseudocircles, and \(p_2(\mathcal{A})\) denotes the number of digons in an arrangement \(\mathcal{A}\) [2208.12110]. The source explicitly states that the term “Tubdigons” does not appear there; the closest relevant concept is digons [2208.12110].

The term therefore has a specific meaning in the Fine-identity context: a tubdigon is a roofed, subdivided polygon with possible \(2\)-gonal faces, positioned conceptually between subdigons and general plane trees, and technically between a recursive multiset specification and a formal polynomial solution [2508.12055].

Source: https://www.emergentmind.com/topics/tubdigons