An extension of the classic Buneman theorem from phylogenetic trees to networks

Mirko Wilde; Mareike Fischer

Home/Archive/arXiv

arXiv · 2610.41725

An extension of the classic Buneman theorem from phylogenetic trees to networks

Mirko Wilde·Mareike Fischer

View original source ↗Read source document ↗Export metadata ↓

Abstract

Phylogenetic networks provide a natural framework for representing reticulate evolutionary events such as horizontal gene transfer and hybridization. In the present manuscript, we investigate the identifiability of phylogenetic networks under (hardwired) parsimony, a natural extension of Maximum Parsimony from trees to networks. More precisely, we ask which structural features of a network can be uniquely inferred from so-called $A_k$-alignments under this criterion. While identifiability has been studied extensively for phylogenetic trees under parsimony, little is known about the identifiability of networks under hardwired parsimony. We take a first step towards addressing this gap by developing a general framework for studying identifiability under hardwired parsimony. We then use this framework to show that the tree of blobs of a phylogenetic network can be reconstructed from its $A_1$-alignment. This result can be viewed as a natural extension of Buneman's well-known splits equivalence theorem. Finally, we show that, under hardwired parsimony, cycles of length at least $5$ cannot in general be uniquely identified from character data, establishing a fundamental limitation of hardwired parsimony.

Explore related subjects

q-bio.PE math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Mirko Wilde, Mareike Fischer. 2026-10-30. An extension of the classic Buneman theorem from phylogenetic trees to networks. https://arxiv.org/abs/2610.41725

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Origin of homochirality in peptides: The first milestone at the origin of life

Living organisms have some common structures, chemical reactions, and molecular structures. The organisms consist of cells with cell division; they have homochirality of protein and carbohydrate units, metabolism, and genetics, and they are mortal. The molecular structures and chemical reactions underlying these features are common to all, from the simplest bacteria to human beings. The origin of life is evolutionary, with the emergence of a network of spontaneous biochemical reactions, and evolution has taken place over a very long time. The evolution contains, however, some ``landmarks'' and bottlenecks, which in a revolutionary manner directed the evolution, and the article establishes an order of some of these events. Recent articles show that peptides in living organisms are long-time unstable, with loss of their secondary homochiral conformations and with D-amino acids. Based on these observations and an extensive scientific literature on Abiogenesis, we argue that the first milestone in the prebiotic evolution is at the emergence of homochiral peptides in an aqueous solution with a high concentration of amino acids and a lower water activity than in the cytosol in living organisms. The homochiral peptides in cytosol are unstable, and the long-time aging of peptides in the cytosol causes mortality of living organisms. The metabolism and genetics are established in an environment with homochiral peptides in the Earth's crust for $\approx$ 4 Gyr ago at a lower water activity than in the cytosol in living organisms. Finally, the cells with cell division are established in the Hot Springs environment at the interface between the crust and the Hadean Ocean.

q-bio.PE↗

arXiv2026

Basic Reproductive Numbers in Host-Parasite Systems with Demographic Bistability

The basic reproductive number, $\mathcal{R}_0$, is widely used to determine whether an infectious disease can persist in a population. However, its interpretation may become unclear when the underlying disease-free demographic dynamics exhibit multiple types of stable attractors. In this study, we investigate how demographic bistability between fixed points and periodic cycles affects the calculation and interpretation of $\mathcal{R}_0$. We consider two discrete-time host-parasite models with infection: a tick-host model motivated by Borrelia burgdorferi transmission and a Nicholson-Bailey host-parasitoid model with intraspecific competition and infection. For each model, we calculate reproductive numbers associated with different disease-free attractors using the next-generation operator method and compare their invasion thresholds. In the tick-host model, the reproduction number calculated on the stable demographic cycle differs from that calculated at the positive coexistence fixed point, resulting in parameter regions where infection can invade at one demographic attractor but not the other. In contrast, in the host-parasitoid model, the host-driven invasion threshold is necessarily the same at the positive coexistence fixed point and on the host-only periodic cycles. These contrasting results demonstrate that demographic bistability alone does not necessarily produce attractor-dependent invasion thresholds. Rather, the effect of demographic dynamics on invasion depends on the structure of pathogen transmission. In particular, a complete host--vector--host transmission pathway can allow differences between demographic attractors to alter the invasion threshold. Our results emphasize the importance of considering both demographic dynamics and transmission structure when interpreting $\mathcal{R}_0$ in populations with multiple stable disease-free states.

q-bio.PE↗

arXiv2026

Evolving view on phylogenetic networks

Reticulate processes such as hybridization, introgression, and horizontal gene transfer cannot be fully represented by a bifurcating tree. Enter phylogenetic networks: first as split graphs to visualize tree discordance, then as explicit probabilistic models that capture biological phenomena. Here, we describe the broad taxonomy of network representations, distinguishing the principal classes of explicit networks, their biological interpretability and our ability to accurately estimate them from empirical data. We also trace the evolution of the main network inferential methods from hybrid detection tests, distance- and subgraph-based amalgamation methods, probabilistic approaches under the multispecies network coalescent, composite-likelihood and divide-and-conquer frameworks, while highlighting the selective pressures of statistical identifiability and computational scalability that have shaped this evolution. As we move towards a network thinking paradigm, previously isolated methodological lineages from population genetics, phylogenomics, and mathematical network theory are now introgressing, uniting diverse network models into a shared framework that can integrate sequence- and species-level reticulate processes, increase robustness to systematic errors, and refine algorithms for genome-scale data, expanding the tree of life into a richer, more entangled yet clearer picture of evolution.

q-bio.PE↗