25 problems
- 0 votes0 replies0 views
Bandelt–Dress conjecture on the diameter of quartet distance
Let -leaved phylogenetic trees be compared using the quartet distance, whose diameter is the maximum distance between two such trees. Bandelt–Dress conjecture. The diameter is a…
- 0 votes0 replies0 views
Martin–Thatte conjecture on agreement subtrees of rooted balanced trees
Let two rooted balanced phylogenetic trees have the same leaf set of size . Martin–Thatte conjecture. The two trees must agree on at least … leaves. This conjecture concerns the…
- 0 votes0 replies0 views
Cardwell's vertex-regularity conjecture for colored phylogenetic-tree models
Cardwell's conjecture. Every GL-binomial BMT-derived model derived from a phylogenetic tree with colored nodes must be vertex regular.
- 0 votes0 replies0 views
Fundamental role of ultrametric Laplacian eigenbases in phylogenetic geometric deep learning
Let be the ultrametric Laplacian of a finite ultrametric phylogenetic tree, and let its eigenbasis and spectral parameters be used to represent functions on the t…
- 0 votes0 replies1 view
Computational superiority of the preliminary Towering distance algorithm
Let Towering distance be the metric on the space of phylogenetic trees with non-identical leaves, and let the preliminary algorithm described in Section compute Towering distances.…
- 0 votes0 replies0 views
Almost-sure uniqueness of geodesics in Towering space
Let Towering space be the complete length space of phylogenetic trees with non-identical leaves, with tree space denoted by . Consider trees…
- 0 votes0 replies0 views
The SPR-neighbor OLA distance bound for phylogenetic trees
Let be a fixed phylogenetic tree, and let be a random tree differing from by a single subtree-prune-and-regraft (SPR) move, chosen uniforml…
- 0 votes0 replies0 views
Tropicalization conjecture for the type C cluster configuration space
Tropicalization conjecture. The tropicalization is the space of ASPTs: the fan formed by the cones with…
- 0 votes0 replies0 views
Maximum reticulation number conjecture for two caterpillar trees and a fully balanced tree
Let be a positive integer, and consider sets of three trees on taxa: two caterpillar trees and a fully balanced tree whose leaves are equally distant from the root. Maxim…
- 0 votes0 replies0 views
Conjecture on stickiness in the Wald space of phylogenetic forests
The Wald space is the subspace of phylogenetic forests referred to in the cited literature. Stickiness conjecture. The Wald space features stickiness. Stickiness is known to occur…
- 0 votes0 replies0 views
Mir's conjecture on natural-valued sound Colless-like indices
A rooted phylogenetic tree has a sound Colless-like index if the index satisfies the soundness properties under discussion, and let be a functio…
- 0 votes0 replies0 views
NNI-sequence conjecture for tree topologies along tropical line segments
Let and be equidistant rooted phylogenetic trees with leaves in , and let be the tropical line segment between them. A nearest neighbor interc…
- 0 votes0 replies0 views
Martin and Thatte's maximum agreement subtree conjecture for balanced trees
Let and be balanced rooted binary phylogenetic -trees, meaning that each has leaves for some non-negative integer and height , and let…
- 0 votes0 replies0 views
Nonexistence conjecture for integer-valued sound Colless-like indices
Nonexistence conjecture. No function satisfies this property.
- 0 votes0 replies0 views
Li et al.'s all-taxa accuracy conjecture for Fitch ancestral reconstruction
Li et al.'s conjecture. For any rooted binary ultrametric phylogenetic tree and a simple model of evolution, the Fitch algorithm using all taxa for ancestral state reconstruction i…
- 0 votes0 replies0 views
Li, Steel and Zhang's all-taxa accuracy conjecture for Fitch ancestral reconstruction
Li, Steel and Zhang's conjecture. For any ultrametric phylogenetic tree and a symmetric model, the Fitch parsimony method using all terminal taxa is more accurate, or at least as a…
- 0 votes0 replies0 views
The cluster-count criterion for secant and initial ideals
The cluster-count criterion. One has
- 0 votes0 replies0 views
The caterpillar extremal-distance conjecture for unrooted trees
Let be the space of unrooted trees on labelled leaves, equipped with the tree distance under consideration. A caterpillar is an unrooted tree whose internal vert…
- 0 votes0 replies0 views
The random subtree-length reconstruction conjecture for phylogenetic trees
Let be a tree with a finite set of leaves, and choose a sequence of leaves at random according to the sampling scheme in the paper. Let denote the length of the minimal s…
- 0 votes0 replies0 views
Consistency and asymptotic normality of the REML estimator for microergodic covariance parameters
Let be covariance parameters in a general tree growth model, and suppose that is microergodic, meaning that it can be consistently estimated und…
- 0 votes0 replies0 views
Conjecture on species-tree topology refining the Fréchet-mean topology
A gene tree is a phylogenetic tree representing the evolutionary history of a particular gene, while a species tree represents the evolutionary history of the species. Given a coll…
- 0 votes0 replies1 view
Conjecture on arbitrarily high-degree bounding hypersurfaces in vistal subdivisions
A bounding hypersurface is a hypersurface bounding a vistal cell in a global NPC cubical complex. High-degree bounding hypersurface conjecture. The bounding hypersurface can have c…
- 0 votes0 replies0 views
The square-root exponent conjecture for maximum agreement subtrees
Let and be binary phylogenetic trees with the same leaf-set, and let a maximum agreement subtree be a largest common subtree on a subset of their leaves. In the balance…
- 0 votes0 replies0 views
The square-root agreement-subtree conjecture for balanced phylogenetic trees
Let and be balanced, rooted, binary trees of height . An agreement subtree is a common subtree of the two trees on a shared set of leaves. The square-root agreement-…
- 0 votes0 replies0 views
The tropical Grassmannian containment conjecture for weighted trees
Weighted-tree tropical Grassmannian conjecture. For , one has