Pons–Batle's word-encoding conjecture for tree-child networks

Let TCn,k\mathcal{TC}_{n,k} be the class of tree-child networks with nn leaves and kk reticulation nodes, and let Cn1,k\mathcal{C}_{n-1,k} be the class of words over the alphabet {ai}i=1n1\{a_i\}_{i=1}^{n-1} satisfying the stated length, multiplicity, and prefix conditions. Pons–Batle's conjecture. For n1n\geq 1 and k0k\geq 0,

TCn,k=n!(nk)!Cn1,k.|\mathcal{TC}_{n,k}| = \frac{n!}{(n-k)!}\cdot |\mathcal{C}_{n-1,k}|.

This conjectural identity relates the enumeration of tree-child networks to restricted-word encodings and would provide a direct formula for their cardinalities. The source gives no evidence of resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Pau Vives, Anna de Mier, Gabriel Cardona and Joan Carles Pons, “Counting Spinal Tree-Child Networks via Word Encodings and Generating Functions”, arXiv:2605.10926 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.