Structural theory of trees. II. Completeness and completions of trees

Completion of tree metrics and rank-2 matrices

Motivated by applications to low-rank matrix completion, we give a combinatorial characterization of the independent sets in the algebraic matroid associated to the collection of $m\times n$ rank-2 matrices and $n\times n$ skew-symmetric rank-2 matrices. Our approach is to use tropical geometry to reduce this to a problem about phylogenetic trees which we then solve. In particular, we give a combinatorial description of the collections of pairwise distances between several taxa that may be arbitrarily prescribed while still allowing the resulting dissimilarity map to be completed to a tree met…

Arc-Completion of 2-Colored Best Match Graphs to Binary-Explainable Best Match Graphs

Best match graphs (BMGs) are vertex-colored digraphs that naturally arise in mathematical phylogenetics to formalize the notion of evolutionary closest genes w.r.t. an a priori unknown phylogenetic tree. BMGs are explained by unique least resolved trees. We prove that the property of a rooted, leaf-colored tree to be least resolved for some BMG is preserved by the contraction of inner edges. For the special case of two-colored BMGs, this leads to a characterization of the least resolved trees (LRTs) of binary-explainable trees and a simple, polynomial-time algorithm for the minimum cardinality…

带状图的生成拟树计数：行列式与#P完全性

Counting spanning quasi-trees of ribbon graphs: determinants and #P-completeness

研究连通带状图拟树计数问题，证明其在多项式时间图灵归约下是#P完全的，还通过带框Cohn - Lempel等式等将计数与交错多项式求值联系起来，同时给出可定向带状图等情形的行列式证明。

Completion of a Rational Function Sequence of Carlitz

The exponential generating functions of {n^(n+m)} for arbitrary integer m are expressed as rational functions of the e.g.f. of {n^(n-1)} [the tree function] and then of the e.g.f. of {n^n} [the endofunction function]. The coefficients in these rational functions include 2nd-order Eulerian numbers (a result of L. Carlitz), 2nd-order Stirling numbers, and Stirling numbers of the first kind for negative sets (in the sense of D. Loeb). Several combinatorial identities follow.

A note on planar partial 3-trees

It implicitly follows from the work of [Colbourn, El-Mallah: On two dual classes of planar graphs. Discrete Mathematics 80(1): 21-40 (1990)] that every planar partial 3-tree is a subgraph of a planar 3-tree. This fact has already enabled to prove a couple of results for planar partial 3-trees by induction on the structure of the underlying planar 3-tree completion. We provide an explicit proof of this observation and strengthen it by showing that one can keep the plane drawing of the input graph unchanged.