arXiv++ Combinatorics

A famous conjecture of Stanley states that his chromatic symmetric function distinguishes trees. As a quasisymmetric analogue, we conjecture that the chromatic quasisymmetric function of Shareshian and Wachs and of Ellzey distinguishes directed trees. This latter conjecture would be implied by an affirmative answer to a question of Hasebe and Tsujie about the $P$-partition enumerator distinguishing posets whose Hasse diagrams are trees. They proved the case of rooted trees and our results include a generalization of their result.

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the decomposition takes the form of a single colored rooted tree of bounded depth where, in addition, there can be links between nodes that are not related in the tree. The constraint is that the structure formed by the tree and the links has to be sparse. Using the decomposition theorem for transductions of nowhere dense classes, we show that they admit low-shrubdepth covers of size $O(n^\varepsilon)$, where $n$ is the vertex count and $\varepsilon>0$ is any fixed~real. This solves an open problem posed by Gajarský et al. (ACM TOCL '20) and also by Briański et al. (SIDMA '21).

For positive integers $n$ and $k$, the dendrimer $T_{n, k}$ is defined as the rooted tree of radius $n$ whose all vertices at distance less than $n$ from the root have degree $k$. The dendrimers are higly branched organic macromolecules having repeated iterations of branched units that surroundes the central core. Dendrimers are used in a variety of fields including chemistry, nanotechnology, biology. In this paper, for any positive integer $\ell$, we count the number of paths of length $\ell$ of $T_{n, k}$. As a consequence of our main results, we obtain the average distance of $T_{n, k}$ which we can establish an alternate proof for the Wiener index of $T_{n, k}$. Further, we generalize the concept of medium domination, introduced by Vargör and Dündar in 2011, of $T_{n, k}$.

An eigenvalue of the adjacency matrix of a graph is said to be main if the all-ones vector is not orthogonal to its associated eigenspace. A generalized Bethe tree with $k$ levels is a rooted tree in which vertices at the same level have the same degree. França and Brondani [On the main spectrum of generalized Bethe trees, Linear Algebra Appl., 628 (2021) 56-71] recently conjectured that any generalized Bethe tree with $k$ levels has exactly $k$ main eigenvalues whenever $k$ is even. We disprove the conjecture by constructing a family of counterexamples for even integers $k\ge 6$.

Following the recent paper which initiated the study of colour isomorphism problems for complete graphs, we obtain upper bounds for $f_2(n,H)$ for a family of graphs $H$ obtained as the $K_0$-th rooted power of a balanced rooted tree for some sufficiently large $K_0$. The proof uses the random polynomial method of Bukh. We also obtain matching lower bounds for $1$-subdivisions of the complete bipartite graph.

In arXiv:1302.4423, Salez proved that every totally real algebraic integer is the eigenvalue of some tree. We define the "arboreal height" of a totally real algebraic integer $λ$ to be the minimal height of a rooted tree having $λ$ as an eigenvalue. In this paper, we prove several results about totally real algebraic integers of arboreal height $2$: We show that all real quadratic integers have arboreal height $\le 2$. We characterize the totally real cubic integers of arboreal height $2$. Finally, we prove that every totally irrational real number field is generated (as a ring over $\mathbb{Q}$) by some $λ$ of arboreal height $2$.

Various combinatorial classes such as outerplanar graphs and maps, series-parallel graphs, substitution-closed classes of permutations and many more allow bijective encodings by so-called enriched trees, which are rooted trees with additional structure on the offspring of each node. Using this universal description we develop sampling procedures that uniformly generate objects from this classes with a given size $n$ in expected time $O(n)$.The key ingredient is a representation of enriched trees in terms of decorated Bienaymé--Galton--Watson trees, which allows us to develop a novel combination of Devroye's efficient sampler for trees (Devroye, 2012) with Boltzmann sampling techniques. Additionally, we construct expected linear time samplers for critical Bienaymé--Galton--Watson trees having exactly $n$ (out of $\ge n$ total) nodes with outdegree in some fixed set, enabling uniform generation for many combinatorial classes such as dissections of polygons.

Quasi-best match graphs (qBMGs) are a hereditary class of directed, properly vertex-colored graphs. They arise naturally in mathematical phylogenetics as a generalization of best match graphs, which formalize the notion of evolutionary closest relatedness of genes (vertices) in multiple species (vertex colors). They are explained by rooted trees whose leaves correspond to vertices. In contrast to BMGs, qBMGs represent only best matches at a restricted phylogenetic distance. We provide characterizations of qBMGs that give rise to polynomial-time recognition algorithms and identify the BMGs as the qBMGs that are color-sink-free. Furthermore, two-colored qBMGs are characterized as directed graphs satisfying three simple local conditions, two of which have appeared previously, namely bi-transitivity in the sense of Das et al. (2021) and a hierarchy-like structure of out-neighborhoods, i.e., $N(x)\cap N(y)\in\{N(x),N(y),\emptyset\}$ for any two vertices $x$ and $y$. Further results characterize qBMGs that can be explained by binary phylogenetic trees.

Motivated by the study of pattern avoidance in the context of permutations and ordered partitions, we consider the enumeration of weak-ordering chains obtained as leaves of certain restricted rooted trees. A tree of order $n$ is generated by inserting a new variable into each node at every step. A node becomes a leaf either after $n$ steps or when a certain stopping condition is met. In this paper we focus on conditions of size 2 ($x=y$, $x<y$, or $x\le y$) and several conditions of size 3. Some of the cases considered here lead to the study of descent statistics of certain `almost' pattern-avoiding permutations.

We present a very simple bijective proof of Cayley's formula due to Foata and Fuchs (1970). This bijection turns out to be very useful when seen through a probabilistic lens; we explain some of the ways in which it can be used to derive probabilistic identities, bounds, and growth procedures for random trees with given degrees, including random d-ary trees. We also introduce a partial order on the degree sequences of rooted trees, and conjecture that it induces a stochastic partial order on heights of random rooted trees with given degrees.

A rooted tree $T$ with vertex labels $t(v)$ and set-valued edge labels $λ(e)$ defines maps $δ$ and $\varepsilon$ on the pairs of leaves of $T$ by setting $δ(x,y)=q$ if the last common ancestor $\text{lca}(x,y)$ of $x$ and $y$ is labeled $q$, and $m\in \varepsilon(x,y)$ if $m\inλ(e)$ for at least one edge $e$ along the path from $\text{lca}(x,y)$ to $y$. We show that a pair of maps $(δ,\varepsilon)$ derives from a tree $(T,t,λ)$ if and only if there exists a common refinement of the (unique) least-resolved vertex labeled tree $(T_δ,t_δ)$ that explains $δ$ and the (unique) least resolved edge labeled tree $(T_{\varepsilon},λ_{\varepsilon})$ that explains $\varepsilon$ (provided both trees exist). This result remains true if certain combinations of labels at incident vertices and edges are forbidden.

An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We apply the recent Hartung-Hoang-Mütze-Williams combinatorial generation framework to elimination trees, and prove that all elimination trees for a chordal graph $G$ can be generated by tree rotations using a simple greedy algorithm. This yields a short proof for the existence of Hamilton paths on graph associahedra of chordal graphs. Graph associahedra are a general class of high-dimensional polytopes introduced by Carr, Devadoss, and Postnikov, whose vertices correspond to elimination trees and whose edges correspond to tree rotations. As special cases of our results, we recover several classical Gray codes for bitstrings, permutations and binary trees, and we obtain a new Gray code for partial permutations. Our algorithm for generating all elimination trees for a chordal graph $G$ can be implemented in time $\mathcal{O}(σ)$ on average per generated elimination tree, where $σ=σ(G)$ denotes the maximum number of edges of an induced star in $G$. If $G$ is a tree, we improve this to a loopless algorithm running in time $\mathcal{O}(1)$ per generated elimination tree. We also prove that our algorithm produces a Hamilton cycle on the graph associahedron of $G$, rather than just Hamilton path, if the graph $G$ is chordal and 2-connected. Moreover, our algorithm characterizes chordality, i.e., it computes a Hamilton path on the graph associahedron of $G$ if and only if $G$ is chordal.

Background. The supertree problem, i.e., the task of finding a common refinement of a set of rooted trees is an important topic in mathematical phylogenetics. The special case of a common leaf set $L$ is known to be solvable in linear time. Existing approaches refine one input tree using information of the others and then test whether the results are isomorphic. Results. A linear-time algorithm, LinCR, for constructing the common refinement $T$ of $k$ input trees with a common leaf set is proposed that explicitly computes the parent function of $T$ in a bottom-up approach. Conclusion. LinCR is simpler to implement than other asymptotically optimal algorithms for the problem and outperforms the alternatives in empirical comparisons. Availability. An implementation of LinCR in Python is freely available at https://github.com/david-schaller/tralda.

A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection with connected permutations, and we give algorithms to compute subdivergence-free gluings.

Let T d (n) be the set of d-ary rooted trees with n internal nodes. We give a method to construct a sequence (t n , n $\ge$ 0) where, for any n $\ge$ 1, t n has the uniform distribution in T d (n), and t n is constructed from t n--1 by the addition of a new node, and a rearrangement of the structure of t n--1. This method is inspired by R{é}my's algorithm which does this job in the binary case, but it is different from it. This provides a method for the random generation of a uniform d-ary tree in T d (n) with a cost linear in n.

We consider the lower-triangular matrix of generating polynomials that enumerate $k$-component forests of rooted trees on the vertex set $[n]$ according to the number of improper edges (generalizations of the Ramanujan polynomials). We show that this matrix is coefficientwise totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. More generally, we define the generic rooted-forest polynomials by introducing also a weight $m! \, φ_m$ for each vertex with $m$ proper children. We show that if the weight sequence $φ$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.

A fringe subtree of a rooted tree is a subtree induced by one of the vertices and all its descendants. We consider the problem of estimating the number of distinct fringe subtrees in two types of random trees: simply generated trees and families of increasing trees (recursive trees, $d$-ary increasing trees and generalized plane-oriented recursive trees). We prove that the order of magnitude of the number of distinct fringe subtrees (under rather mild assumptions on what `distinct' means) in random trees with $n$ vertices is $n/\sqrt{\log n}$ for simply generated trees and $n/\log n$ for increasing trees.

The Perron value $ρ(T)$ of a rooted tree $T$ has a central role in the study of the algebraic connectivity and characteristic set, and it can be considered a weight of spectral nature for $T$. A different, combinatorial weight notion for $T$ - the moment $μ(T)$ - emerges from the analysis of Kemeny's constant in the context of random walks on graphs. In the present work, we compare these two weight concepts showing that $μ(T)$ is "almost" an upper bound for $ρ(T)$ and the ratio $μ(T)/ρ(T)$ is unbounded but at most linear in the order of $T$. To achieve these primary goals, we introduce two new objects associated with $T$ - the Perron entropy and the neckbottle matrix - and we investigate how different operations on the set of rooted trees affect the Perron value and the moment.

By means of a new notion of subforests of an angularly decorated rooted forest, we give a combinatorial construction of a coproduct on the free Rota-Baxter algebra on angularly decorated rooted forests. We show that this coproduct equips the Rota-Baxter algebra with a bialgebra structure and further a Hopf algebra structure.

The early development of a zygote can be mathematically described by a developmental tree. To compare developmental trees of different species, we need to define distances on trees. If children cells after a division are not distinguishable, developmental trees are represented by the space $\mathcal{T}$ of rooted trees with possibly repeated labels, where all vertices are unordered. If children cells after a division are partially distinguishable, developmental trees are represented by the space $\mathcal{P}$ of rooted trees with possibly repeated labels, where vertices can be ordered or unordered. On $\mathcal{T}$, the space of rooted unordered trees with possibly repeated labels, we define two metrics: the best-match metric and the left-regular metric, which show some advantages over existing methods. On $\mathcal{P}$, the space of rooted labeled trees with ordered or unordered vertices, there is no metric, and we define a semimetric, which is a variant of the best-match metric. To compute the best-match distance between two trees, the expected time complexity and worst-case time complexity are both $\mathcal{O}(n^2)$, where $n$ is the tree size. To compute the left-regular distance between two trees, the expected time complexity is $\mathcal{O}(n)$, and the worst-case time complexity is $\mathcal{O}(n\log n)$. For rooted labeled trees with (fully/partially) unordered vertices, we define metrics (semimetric) that have fast algorithms to compute and have advantages over existing methods. Such trees also appear outside of developmental biology, and such metrics can be applied to other types of trees which have more extensive applications, especially in molecular biology.