pith. sign in

arxiv: 2604.05056 · v2 · submitted 2026-04-06 · 🧮 math.CO · math.MG· q-bio.PE

Nested tree space: a geometric framework for co-phylogeny

G. Grindstaff , R. S. Hoekzema This is my paper

Pith reviewed 2026-05-10 19:15 UTC · model grok-4.3

classification 🧮 math.CO math.MGq-bio.PE
keywords co-phylogenynested treesCAT(0) spacecubical complexultrametric treesGromov cube conditionFréchet meanphylogenetic geometry
0
0 comments X

The pith

Nested phylogenetic trees form a CAT(0) space that admits unique geodesics and Fréchet means.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines σ-space as a geometric model for co-phylogenetic systems in which one evolutionary tree is fully nested inside another. It builds the space as a cubical complex whose cells correspond to admissible nestings of ranked tree topologies together with the time coordinates of all speciation events. The central result is that σ-space is contractible and obeys Gromov's cube condition, hence is a CAT(0) space. A reader would care because CAT(0) geometry supplies a canonical notion of distance, a unique shortest path between any two configurations, and a well-defined average of any collection of nested trees. The construction generalizes the earlier τ-space for ordinary phylogenetic trees and adds boundary strata that record cospeciation.

Core claim

We introduce σ-space, a moduli space of fully nested ultrametric phylogenetic trees with a fixed leaf map. The space is realized as a cubical complex parametrized by nested ranked tree topologies and the inter-event time coordinates of the combined host and parasite speciation events. Admissible orderings are characterized by binary nesting sequences that form a natural poset. We show that σ-space is contractible and satisfies Gromov's cube condition, and is therefore CAT(0). In particular, it admits unique geodesics and well-defined Fréchet means. We further describe its geometric structure, including boundary strata corresponding to cospeciation events, and relate it to products of ultram

What carries the argument

σ-space, the cubical complex of fully nested ultrametric trees with fixed leaf map, whose cells are indexed by binary nesting sequences and inter-event times.

If this is right

  • Unique geodesics exist between any two points, giving a canonical way to interpolate between two co-phylogenetic histories.
  • Fréchet means are well-defined, so any finite set of nested trees possesses a unique average configuration.
  • Boundary strata correspond to cospeciation events, allowing the geometry to distinguish simultaneous speciation from sequential events.
  • Natural forgetful maps embed σ-space into products of ordinary ultrametric tree spaces, relating nested and non-nested models.
  • The poset of nesting sequences supplies a combinatorial skeleton that organizes all admissible nestings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The CAT(0) structure could support statistical procedures that test whether observed nestings are more consistent with co-evolution than with random embedding.
  • Geodesic interpolation might be used to reconstruct missing intermediate events when only partial nesting data are available.
  • The same cubical-complex construction may apply to other hierarchical embedding problems outside biology, such as nested file systems or multi-scale networks.
  • Computation of Fréchet means could enable clustering algorithms that group similar co-evolutionary histories without choosing an arbitrary distance function.

Load-bearing premise

The proof assumes that every admissible nesting of host and parasite trees can be captured exactly by a binary nesting sequence and that the resulting cubical complex meets the link condition for CAT(0) without further restrictions on the timing coordinates.

What would settle it

An explicit pair of nested-tree configurations joined by two distinct shortest paths of equal length, or a finite subcomplex that violates the Gromov cube condition, would show that σ-space fails to be CAT(0).

Figures

Figures reproduced from arXiv: 2604.05056 by G. Grindstaff, R. S. Hoekzema.

Figure 1
Figure 1. Figure 1: Example rooted ultrametric tree illustrating speciation times, τ -coordinates and the leaf path γb for the leaf labeled b. the highest rank. It can also be characterised by a sequence of partitions associated to each internal node: {x1|x ′ 1 | . . . |x (d1) 1 }, {x2| . . . |x (d2) 2 } . . . , {xN | . . . |x (dN ) N }, where for each node v with ranking i, di is the in-degree deg(v)−1 of v, and the partitio… view at source ↗
Figure 2
Figure 2. Figure 2: Moves on ranked tree topologies. 3. Nested trees We now introduce analogues of the definitions in Section 2 for nested pairs of phyloge￾netic trees, that is, reconciled trees of hosts and associates/parasites, in order to define a moduli space of nested trees Σ in Section 4 [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Interleaved (A) and decoupled (B) nested trees in Σ3, together with their σ-coordinates. For a nested tree T of type (n, m, ℓ), we parametrise T by the pair (nrt(T), σ) where nrt(T) is its nested ranked topology and σ ∈ R n+m−2 ≥0 is its vector of σ-coordinates. Say that there exist M nested ranked topologies of type (n, m, ℓ) 2 . Let N = n + m. Then fully resolved nested trees correspond to the interiors … view at source ↗
Figure 4
Figure 4. Figure 4: Illustration of the space Σ0 2,3,(12). Cospeciation boundaries are marked with a thick black line and the origin is marked with a red dot. Full description in Example 30. Example 31 (Σ3,2). We now study the nested tree space for three hosts and two parasites, with an injective leaf map. Interestingly, this space turns out to be homeomorphic to the space Σ2,3,(12) studied before. Suppose the leaf map sends … view at source ↗
Figure 5
Figure 5. Figure 5: Illustration of the link of the origin in Σ0 3 . The link is composed of twelve triangles, of which three correspond to interleaved (HP HP) or￾thants with matching parasite and host tree topology and nine to decou￾pled (HHP P) orthants. All external faces are cospeciation boundaries. The domain of perfect cospeciation is indicated by three black dots. Full description in Example 32. 4.3. Topological and ge… view at source ↗
read the original abstract

Nested (or reconciled) phylogenetic trees model co-evolutionary systems in which one evolutionary history is embedded within another. We introduce a geometric framework for such systems by defining $\sigma$-space, a moduli space of fully nested ultrametric phylogenetic trees with a fixed leaf map. Generalizing the $\tau$-space of Gavryushkin and Drummond, $\sigma$-space is constructed as a cubical complex parametrised by nested ranked tree topologies and inter-event time coordinates of the combined host and parasite speciation events. We characterise admissible orderings via binary \textit{nesting sequences} and organise them into a natural poset. We show that $\sigma$-space is contractible and satisfies Gromov's cube condition, and is therefore CAT(0). In particular, it admits unique geodesics and well-defined Fr\'echet means. We further describe its geometric structure, including boundary strata corresponding to cospeciation events, and relate it to products of ultrametric tree spaces via natural forgetful maps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper introduces σ-space as a moduli space of fully nested ultrametric phylogenetic trees with fixed leaf map, generalizing the τ-space of Gavryushkin and Drummond. It constructs σ-space as a cubical complex parametrized by nested ranked tree topologies and inter-event time coordinates of combined speciation events. Admissible orderings are characterized via binary nesting sequences organized into a poset. The central results are that σ-space is contractible and satisfies Gromov's cube condition (hence CAT(0)), admitting unique geodesics and Fréchet means. Additional results describe boundary strata for cospeciation events and relate σ-space to products of ultrametric tree spaces via forgetful maps.

Significance. If the CAT(0) property is established, the work supplies a geometrically well-behaved space for co-phylogenetic analysis, enabling unique geodesics between reconciled trees and well-defined Fréchet means. This extends the geometric combinatorics of tree spaces to nested structures and could support new computational tools in evolutionary biology. The combinatorial characterization by nesting sequences is a clear strength.

major comments (1)
  1. In the section establishing Gromov's cube condition (the argument that every link is a flag complex), the verification must explicitly address the additional combinatorial constraints arising from the continuous inter-event time coordinates and their ordering at cospeciation boundaries. The poset of binary nesting sequences alone does not automatically guarantee that time-induced relations preserve the flag property; a concrete check (e.g., enumeration of small links or a lemma excluding forbidden induced subgraphs under the time parametrization) is needed to confirm the link condition holds.
minor comments (2)
  1. The notation for the poset of nesting sequences and the parametrization of cells by inter-event times would benefit from a small illustrative example (e.g., a 3-leaf host-parasite pair) placed immediately after the definition.
  2. Figure captions for the boundary strata should explicitly indicate which coordinates are fixed at cospeciation events.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and constructive feedback on our manuscript. The major comment raises an important point about the explicit verification of the flag complex property in the presence of time coordinates. We address it below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: In the section establishing Gromov's cube condition (the argument that every link is a flag complex), the verification must explicitly address the additional combinatorial constraints arising from the continuous inter-event time coordinates and their ordering at cospeciation boundaries. The poset of binary nesting sequences alone does not automatically guarantee that time-induced relations preserve the flag property; a concrete check (e.g., enumeration of small links or a lemma excluding forbidden induced subgraphs under the time parametrization) is needed to confirm the link condition holds.

    Authors: We thank the referee for this observation. The poset of binary nesting sequences is defined to encode all admissible orderings of combined speciation events, including the partial orders induced by both tree topologies and the relative timing of events. The cubical structure assigns open intervals to inter-event times, with boundaries corresponding to cospeciation (equal times). These boundaries do not introduce new combinatorial constraints on the links beyond those already captured by the poset, because any set of directions that are pairwise compatible in the link can be realized simultaneously by choosing times consistent with the nesting sequence. Nevertheless, we agree that the argument would benefit from greater explicitness. In the revised version we will add a short lemma (in the section on Gromov's cube condition) proving that the link is a flag complex: it shows that the compatibility relation on directions is closed under taking joins in the poset, and that time-ordering constraints at boundaries are already enforced by the definition of admissible nesting sequences. We will also include a brief enumeration of all links of dimension at most 3 as a concrete check confirming the absence of forbidden induced subgraphs. revision: yes

Circularity Check

0 steps flagged

No circularity; construction and CAT(0) proof rest on independent combinatorial arguments

full rationale

The paper defines σ-space explicitly from the standard ultrametric tree space and the poset of binary nesting sequences (generalizing the cited τ-space of Gavryushkin-Drummond). Contractibility and Gromov's cube condition are asserted via fresh arguments that the admissible nestings form a cubical complex whose links are flag complexes; these steps are not shown to reduce by definition or by self-citation to the target properties. No fitted parameters, ansatzes smuggled via prior work, or renaming of known results appear in the provided derivation chain. The inter-event time coordinates are treated as continuous parameters on the cells without circular re-use of the CAT(0) conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the standard definition of ultrametric trees and the combinatorial characterization of admissible nestings; no free parameters are introduced and no new entities beyond the defined space itself are postulated.

axioms (2)
  • domain assumption Phylogenetic trees are ultrametric with a fixed leaf map between host and parasite leaves.
    Invoked in the opening definition of σ-space as a moduli space of fully nested ultrametric trees.
  • domain assumption Admissible nestings are exactly those encoded by binary nesting sequences.
    Used to parametrize the cubical complex and to organize the poset of topologies.
invented entities (1)
  • σ-space no independent evidence
    purpose: Moduli space containing all fully nested ultrametric trees with fixed leaf map
    Newly constructed object whose geometry is the subject of the paper.

pith-pipeline@v0.9.0 · 5478 in / 1537 out tokens · 36975 ms · 2026-05-10T19:15:09.929887+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

  1. [1]

    4, 733–767

    [BHV01] Louis J Billera, Susan P Holmes, and Karen Vogtmann,Geometry of the space of phylogenetic trees, Advances in Applied Mathematics27(2001), no. 4, 733–767. 2, 15 [BKB+16] Andrew W. Brooks, Kevin D. Kohl, Robert M. Brucker, Eric J. van Opstal, and Seth R. Bordenstein,Phylosymbiosis: relationships and functional effects of microbial communities across...

    work page 2001

  2. [2]

    Charleston,Jungles: a new solution to the host/parasite phylogeny reconciliation problem, Mathematical Biosciences149(1998), no

    1 [Cha98] Michael A. Charleston,Jungles: a new solution to the host/parasite phylogeny reconciliation problem, Mathematical Biosciences149(1998), no. 2, 191–223. 1 [DR15] Filippo Disanto and Noah A. Rosenberg,Coalescent histories for lodgepole species trees, Jour- nal of Computational Biology22(2015), no. 10, 918–929. 9 [DRS12] James H. Degnan, Noah A. Ro...

    work page arXiv 1998

  3. [3]

    Kohl,Ecological and evolutionary mechanisms underlying patterns of phylosymbio- sis, Nature Reviews Microbiology18(2020), 319–331

    2 [Koh20] Kevin D. Kohl,Ecological and evolutionary mechanisms underlying patterns of phylosymbio- sis, Nature Reviews Microbiology18(2020), 319–331. 1 [LB20] Shen Jean Lim and Seth R Bordenstein,An introduction to phylosymbiosis, Proceedings of the Royal Society B287(2020), no. 1922, 20192900. 1 [Mad97] Wayne P. Maddison,Gene trees in species trees, Syst...

    work page 2020

  4. [4]

    1 [PC97] Roderic D. M. Page and Michael A. Charleston,From gene to organismal phylogeny: recon- ciled trees and the gene tree/species tree problem, Molecular Phylogenetics and Evolution7 (1997), no. 2, 231–240. 2 [PC98] Roderic DM Page and Michael A Charleston,Trees within trees: phylogeny and historical associations, Trends in Ecology & Evolution13(1998)...

    work page 1997