tree
6737 papers tagged with this keyword
The space of multifurcating ranked tree shapes: enumeration, lattice structure, and Markov chains
Coalescent models of bifurcating genealogies are used to infer evolutionary parameters from molecular data. However, there are many situations where bifurcating genealogies do not accurately reflect the true underlying ancestral history of samples, and a multifurcating genealogy is required. The space of multifurcating genealogical trees, where nodes can have more than two descendants, is largely underexplored in the setting of coalescent inference. In this paper, we examine the space of rooted, ranked, and unlabeled multifurcating trees. We recursively enumerate the space and then construct a partial ordering which induces a lattice on the space of multifurcating ranked tree shapes. The lattice structure lends itself naturally to defining Markov chains that permit exploration on the space of multifurcating ranked tree shapes. Finally, we prove theoretical bounds for the mixing time of two Markov chains defined on the lattice, and we present simulation results comparing the distribution of trees and tree statistics under various coalescent models to the uniform distribution on this tree space.
On Topological Indices in Trees: Fibonacci Degree Sequences and Bounds
In this paper, we have studied bounds based on topological indicators, from which we selected Albertson index $\mathrm{irr}$ and the Sigma index $σ$. The Sigma index was defined through the following relationship: \[ σ(G)=\sum_{uv\in E(G)}\left( d_u(G)-d_v(G) \right)^2. \]
We establish a precise formula for the Albertson index of a tree $T$ of order $n$ with a Fibonacci degree sequence $\mathscr{D} = (F_3, \dots, F_n)$. Additionally, we derive bounds for the minimum and maximum Albertson indices ($\irr_{\min}$ and $\irr_{\max}$) across various tree structures. Propositions and lemmas provide upper and lower bounds, incorporating parameters such as the maximum degree $ Δ$, minimum degree $δ$. We further relate the Albertson index to the second Zagreb index $M_2(T)$ and the forgotten index $F(T)$, establishing a new upper bound.
A strengthened bound on the number of states required to characterize maximum parsimony distance
In this article we prove that the distance $d_{\mathrm{MP}}(T_1,T_2) = k$ between two unrooted binary phylogenetic trees $T_1, T_2$ on the same set of taxa can be defined by a character that is convex on one of $T_1, T_2$ and which has at most $2k$ states. This significantly improves upon the previous bound of $7k-5$ states. We also show that for every $k \geq 1$ there exist two trees $T_1, T_2$ with $d_{\mathrm{MP}}(T_1,T_2) = k$ such that at least $k+1$ states are necessary in any character that achieves this distance and which is convex on one of $T_1, T_2$. We augment these lower and upper bounds with an empirical analysis which shows that in practice significantly fewer than $k+1$ states are usually required.
Algebraic Limits of Sandpiles
The paper contributes to building algebraic foundations of self-organized criticality answering a previously unsolved question about the limiting structure of the extended sandpile group as well as relating it to another limit at the level of classical sandpile groups with respect to certain monomorphisms, and puts forward a concept of canonical sandpile epimorphisms, drawing an unexpected consequence about the divisibility properties of the numbers of spanning trees on rectangles.
Ordinarization numbers of numerical semigroups
There has been significant recent interest in studying how the number of numerical semigroups of genus $g$ behaves as a function of $g$. Bras-Amorós has shown how to organize the collection of numerical semigroups of genus $g$ into a rooted tree called the ordinarization tree. The ordinarization number of a numerical semigroup $S$ is the length of the path from $S$ back to the root of the tree. We study the problem of counting numerical semigroups of genus $g$ with a fixed ordinarization number $r$. We show how this can be interpreted as a counting problem about integer points in a certain rational polyhedral cone and use ideas from Ehrhart theory to study this problem. We give a formula for the number of numerical semigroups of genus $g$ and ordinarization number $2$, building on the corresponding result of Bras-Amorós for ordinarization number $1$. We show that the ordinarization number of a numerical semigroup generated by two elements is equal to the number of integer points in a certain right triangle with rational vertices. We consider the analogous problem for supersymmetric numerical semigroups with more generators. We also study ordinarization numbers of numerical semigroups generated by an interval.
On the maximal matchings of trees
An independent edge set of graph $G$ is a matching, and is maximal if it is not a proper subset of any other matching of $G$. The number of all the maximal matchings of $G$ is denoted by $Ψ(G)$. In this paper, an algorithm to count $Ψ(T)$ for a tree $T$ is given. We show that for any tree $T$ with $n$ vertices, $Ψ(T)\geq\lceil\frac{n}{2}\rceil$, and the tree which obtained the lower bound is characterized.
Metaconcepts of rooted tree balance
Measures of tree balance play an important role in many different research areas such as mathematical phylogenetics or theoretical computer science. Typically, tree balance is quantified by a single number which is assigned to the tree by a balance or imbalance index, of which several exist in the literature. Most of these indices are based on structural aspects of tree shape, such as clade sizes or leaf depths. For instance, indices like the Sackin index, total cophenetic index, and $\widehat{s}$-shape statistic all quantify tree balance through clade sizes, albeit with different definitions and properties.
In this paper, we formalize the idea that many tree (im)balance indices are functions of similar underlying tree shape characteristics by introducing metaconcepts of tree balance. A metaconcept is a function $Φ_f$ that depends on a function $f$ capturing some aspect of tree shape, such as balance values, clade sizes, or leaf depths. These metaconcepts encompass existing indices but also provide new means of measuring tree balance. The versatility and generality of metaconcepts allow for the systematic study of entire families of (im)balance indices, providing deeper insights that extend beyond index-by-index analysis.
Induced rational exponents and bipartite subgraphs in $K_{s, s}$-free graphs
In this paper, we study a general phenomenon that many extremal results for bipartite graphs can be transferred to the induced setting when the host graph is $K_{s, s}$-free. As manifestations of this phenomenon, we prove that every rational $\frac{a}{b} \in (1, 2), \, a, b \in \mathbb{N}_+$, can be achieved as Turán exponent of a family of at most $2^a$ induced forbidden bipartite graphs, extending a result of Bukh and Conlon [JEMS 2018]. Our forbidden family is a subfamily of theirs which is substantially smaller. A key ingredient, which is yet another instance of this phenomenon, is supersaturation results for induced trees and cycles in $K_{s, s}$-free graphs. We also provide new evidence to a recent conjecture of Hunter, Milojević, Sudakov, and Tomon [JCTB 2025] by proving optimal bounds for the maximum size of $K_{s, s}$-free graphs without an induced copy of theta graphs or prism graphs, whose Turán exponents were determined by Conlon [BLMS 2019] and by Gao, Janzer, Liu, and Xu [IJM 2025+].
$p$-Modulus on radially symmetric trees
In this paper, we establish the theory of $p$-modulus of a family of infinite paths on an infinite-rooted tree and then explore its interpretation and properties. One key result is the formulation of $p$-modulus on the infinite tree as a limit of $p$-modulus on truncated trees, with a formula given in terms of a series. Analogous to the existing theory for finite graphs, the $1$-modulus of a family of descending paths in an infinite tree is related to the minimum cut problem, the $2$-modulus is related to effective resistance, and the $\infty$-modulus is related to the length of shortest paths. Another key result is the existence of a critical $p$-value for radially symmetric infinite binary trees, which assigns a kind of dimension to the boundaries
Degree Sequence of Albertson and $σ$-Indices on Trees of Order $n\geqslant 3$
In this paper, we presented a study of topological indices on trees, where we show a relationship with irregularity of Albertson index and minimum, maximum degrees $δ,Δ$ of graph $G$, where contribute vital roles in determining connection, shading, component incorporation, and realisability where well-known Albertson index as: $\operatorname{irr}(G)=\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$. The sigma index on trees that we introduced as $σ(T)=(d_1-1)^3+\sum_{i=1}^{3}(d_i-1)(d_i-2)+(d_3-1)^3$.
A characterization of all graphs cospectral to the double star $P_2(1,n)$
We examine the adjacency spectrum of trees with diameter three, also referred to as double stars. Using $P_2(a,b)$ to denote a double star with $ a$ and $b$ leaves at its respective endpoints, we discuss graphs which are cospectral to double stars for various parameters $a$ and $b$. In particular, we give constructions for graphs cospectral to $P_2(1,2k)$ for integers $k$. Lastly, we show that the double star $P_2(1,n)$ is determined by its spectrum when $n$ is odd. That is, if a graph $G$ cospectral to $P_2(1,n)$ for odd $n$, then $G$ is isomorphic to $P_2(1,n)$.
Enumerating planar stuffed maps as hypertrees of mobiles
A planar stuffed map is an embedding of a graph into the 2-sphere $S^{2}$, considered up to orientation-preserving homeomorphisms, such that the complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to $S^{2}$ with multiple boundaries. This is a generalization of planar maps whose complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to a disc. The main goal of this work is to construct a bijection between bipartite planar stuffed maps and collections of integer-labelled trees connected by hyperedges such that they form a hypertree, called hypermobiles. This bijection directly generalizes the Bouttier-Di Franceso-Guitter bijection between bipartite planar maps and mobiles. Additionally, we show that the generating functions of these trees of mobiles satisfy both an algebraic equation, generalizing the case of ordinary planar maps, and a new functional equation. As an example, we explicitly enumerate a class of stuffed quadrangulations.
Sharkovsky's Ordering in the Mandelbrot Set
Sharkovsky's ordering describes orbit forcing of interval maps, and generalizations of Sharkovsky's ordering exist for maps of trees. In this paper I will describe Sharkovsky's ordering and analogous orderings for trees, and their occurrence on the Mandelbrot set.
Trees whose path ideals have linear quotients
For any integer $n$, we classify all trees whose $n$-path ideals have linear quotients.
Induced subgraphs and tree decompositions XIX. Thetas and forests
Let $H$ be a graph and let $\mathcal{C}$ be a hereditary class of theta-free graphs such that $H\notin \mathcal{C}$. We prove that if (a) $H$ is a forest; and (b) $\mathcal{C}$ excludes the line graphs of all subdivisions of some wall, then the treewidth of every graph in $\mathcal{C}$ is at most a polynomial function of its clique number. This is best possible in that both (a) and (b) are necessary for the existence of $any$ function with the above property.
The vertex sets of subtrees of a tree
Let $\mathcal{F}$ be a set of subsets of a set $W$. When is there a tree $T$ with vertex set $W$ such that each member of $\mathcal{F}$ is the set of vertices of a subtree of $T$? It is necessary that $\mathcal{F}$ has the Helly property and the intersection graph of $\mathcal{F}$ is chordal. We will show that these two necessary conditions are together sufficient in the finite case, and more generally, they are sufficient if no element of $W$ belongs to infinitely many infinite sets in $\mathcal{F}$.
Construction of pre-and post-Lie algebras for stochastic PDEs
We give and study a construction of pre-Lie algebra structures on rooted trees whose edges and vertices are decorated, with a grafting product acting, through a map $φ$, both on the decoration of the created edge and on the vertex that holds the grafting. We show that this construction gives a pre-Lie algebra if, and only if, the map $φ$ satisfies a commutation relation, called tree-compatibility. We show how to extend this pre-Lie algebra structure to a post-Lie one by a semi-direct extension with another post-Lie algebra. We also define several constructions to obtain tree-compatible maps, and give examples, including a description of all tree-admissible maps when the space of decorations of the vertices is $2$-dimensional and the space of decorations of the edges is finite-dimensional. A particular example of such a construction is used by Bruned, Hairer and Zambotti for the study of stochastic partial differential equations: when no noise is involved, we show that the underlying tree-compatible map is the exponential of a simpler one and deduce an explicit isomorphism with a classical pre-Lie algebra of rooted trees; when a noise is involved, we obtain the underlying tree-compatible map as a direct sum. We also obtain with our formalism the post-Lie algebras described by Bruned and Katsetsiadis.
The random $k$-SAT Gibbs uniqueness threshold revisited
We prove that for any $k\geq3$ for clause/variable ratios up to the Gibbs uniqueness threshold of the corresponding Galton-Watson tree, the number of satisfying assignments of random $k$-SAT formulas is given by the `replica symmetric solution' predicted by physics methods [Monasson, Zecchina: Phys. Rev. Lett. (1996)]. Furthermore, while the Gibbs uniqueness threshold is still not known precisely for any $k\geq3$, we derive new lower bounds on this threshold that improve over prior work [Montanari and Shah: SODA (2007)].The improvement is significant particularly for small $k$.
A Grammatical Calculus for the Ramanujan Polynomials
As remarked by Berndt, no combinatorial perspective seems to be
alluded in the original definition
of the Ramanujan polynomials. On a different scene,
a recursive algorithm to generate rooted
trees has been devised independently by
Shor and Dumont-Ramamonjisoa.
Zeng
discovered the connection between
the Ramanujan polynomials
and the enumeration of rooted
trees by number of improper edges. We present a proper labeling scheme for
rooted trees by employing an extra label.
Harnessed by this grammar, we develop a calculus heavily
depending on the constant properties for
the Ramanujan polynomials. From the
grammatical formulation, we recover
the defining equation
of Ramanujan on an implicit function. So the
two themes of Ramanujan converge to one combinatorial structure. Moreover, we provide a grammatical treatment of a bijection
behind the recursion independently due to
Shor and Berndt-Evans-Wilson.
Typical $T$-free graphs
We prove that for every tree $T$ which is not an edge, for almost every graph $G$ which does not contain $T$ as an induced subgraph, $V(G)$ has a partition into $α(T)-1$ parts certifying this fact. Each part induces a graph which is $P_4$-free and has further properties which depend on $T$. As a consequence we obtain good bounds (often tight up to a constant factor) on the number of $T$-free graphs and show in a follow-up paper~\cite{RY} that almost every $T$-free graph $G$ has chromatic number equal to the size of its largest clique.