Pith. sign in

REVIEW

Unique Least Common Ancestors and Clusters in Directed Acyclic Graphs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2309.13634 v1 pith:L544NGTR submitted 2023-09-24 cs.DM math.COq-bio.PE

classification cs.DMmath.COq-bio.PE
keywords dagsuniqueancestorscommonlcasleastacyclicclass
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We investigate the connections between clusters and least common ancestors (LCAs) in directed acyclic graphs (DAGs). We focus on the class of DAGs having unique least common ancestors for certain subsets of their minimal elements since these are of interest, particularly as models of phylogenetic networks. Here, we use the close connection between the canonical k-ary transit function and the closure function on a set system to show that pre-k-ary clustering systems are exactly those that derive from a class of DAGs with unique LCAs. Moreover, we show that k-ary T-systems and k-weak hierarchies are associated with DAGs that satisfy stronger conditions on the existence of unique LCAs for sets of size at most k.

Discussion (0). Continue with ORCID to comment.

Pith tools