tree
6737 papers tagged with this keyword
Reconstructing Tree-Child Networks from Reticulate-Edge-Deleted Subnetworks
Published
• View Publication
• BIB
Network reconstruction lies at the heart of phylogenetic research. Two well studied classes of phylogenetic networks include tree-child networks and level-$k$ networks. In a tree-child network, every non-leaf node has a child that is a tree node or a leaf. In a level-$k$ network, the maximum number of reticulations contained in a biconnected component is $k$. Here, we show that level-$k$ tree-child networks are encoded by their reticulate-edge-deleted subnetworks, which are subnetworks obtained by deleting a single reticulation edge, if $k\geq 2$. Following this, we provide a polynomial-time algorithm for uniquely reconstructing such networks from their reticulate-edge-deleted subnetworks. Moreover, we show that this can even be done when considering subnetworks obtained by deleting one reticulation edge from each biconnected component with $k$ reticulations.
A tight kernel for computing the tree bisection and reconnection distance between two phylogenetic trees
Published in SIAM Journal on Discrete Mathematics, 33:1556-1574, 2019
• View Publication
• BIB
In 2001 Allen and Steel showed that, if subtree and chain reduction rules have been applied to two unrooted phylogenetic trees, the reduced trees will have at most 28k taxa where k is the TBR (Tree Bisection and Reconnection) distance between the two trees. Here we reanalyse Allen and Steel's kernelization algorithm and prove that the reduced instances will in fact have at most 15k-9 taxa. Moreover we show, by describing a family of instances which have exactly 15k-9 taxa after reduction, that this new bound is tight. These instances also have no common clusters, showing that a third commonly-encountered reduction rule, the cluster reduction, cannot further reduce the size of the kernel in the worst case. To achieve these results we introduce and use "unrooted generators" which are analogues of rooted structures that have appeared earlier in the phylogenetic networks literature. Using similar argumentation we show that, for the minimum hybridization problem on two rooted trees, 9k-2 is a tight bound (when subtree and chain reduction rules have been applied) and 9k-4 is a tight bound (when, additionally, the cluster reduction has been applied) on the number of taxa, where k is the hybridization number of the two trees.
On Graphs with equal Dominating and C-dominating energy
Published
• View Publication
• BIB
Graph energy and Domination in graphs are most studied areas of graph theory. In this paper we made an attempt to connect these two areas of graph theory by introducing c-dominating energy of a graph $G$. First, we show the chemical applications of c-dominating energy with the help of well known statistical tools. Next, we obtain mathematical properties of c-dominating energy. Finally, we characterize trees, unicyclic graphs, cubic and block graphs with equal dominating and c-dominating energy.
Leaf-induced subtrees of leaf-Fibonacci trees
In analogy to a concept of Fibonacci trees, we define the leaf-Fibonacci tree of size $n$ and investigate its number of nonisomorphic leaf-induced subtrees. Denote by $f_0$ the one vertex tree and $f_1$ the tree that consists of a root with two leaves attached to it; the leaf-Fibonacci tree $f_n$ of size $n\geq 2$ is the binary tree whose branches are $f_{n-1}$ and $f_{n-2}$. We derive a nonlinear difference equation for the number $\text{N}(f_n)$ of nonisomorphic leaf-induced subtrees (subtrees induced by leaves) of $f_n$, and also prove that $\text{N}(f_n)$ is asymptotic to $1.00001887227319\ldots (1.48369689570172 \ldots)^{φ^n}$ ($φ=$~golden ratio) as $n$ grows to infinity.
Cutting resilient networks -- complete binary trees
Published
• View Publication
• BIB
In our previous work, we introduced the random $k$-cut number for rooted graphs. In this paper, we show that the distribution of the $k$-cut number in complete binary trees of size $n$, after rescaling, is asymptotically a periodic function of $\lg n - \lg \lg n$. Thus there are different limit distributions for different subsequences, where these limits are similar to weakly 1-stable distributions. This generalizes the result for the case $k = 1$, i.e., the traditional cutting model, by Janson.
A structure theorem for rooted binary phylogenetic networks and its implications for tree-based networks
Published
• View Publication
• BIB
Attempting to recognize a tree inside a phylogenetic network is a fundamental undertaking in evolutionary analysis. In the last few years, therefore, tree-based phylogenetic networks, which are defined by a spanning tree called a subdivision tree, have attracted attention of theoretical biologists. However, the application of such networks is still not easy, due to many problems whose time complexities are not clearly understood. In this paper, we provide a general framework for solving those various old or new problems from a coherent perspective, rather than analyzing the complexity of each individual problem or developing an algorithm one by one. More precisely, we establish a structure theorem that gives a way to canonically decompose any rooted binary phylogenetic network N into maximal zig-zag trails that are uniquely determined, and use it to characterize the set of subdivision trees of N in the form of a direct product, in a way reminiscent of the structure theorem for finitely generated Abelian groups. From the main results, we derive a series of linear time and linear time delay algorithms for the following problems: given a rooted binary phylogenetic network N, 1) determine whether or not N has a subdivision tree and find one if there exists any; 2) measure the deviation of N from being tree-based; 3) compute the number of subdivision trees of N; 4) list all subdivision trees of N; and 5) find a subdivision tree to maximize or minimize a prescribed objective function. All algorithms proposed here are optimal in terms of time complexity. Our results do not only imply and unify various known results, but also answer many open questions and moreover enable novel applications, such as the estimation of a maximum likelihood tree underlying a tree-based network. The results and algorithms in this paper still hold true for a special class of rooted non-binary phylogenetic networks.
Equilibrium measures on trees
Published in Collect. Math. 74, 61-79 (2023)
• View Publication
• BIB
We give a characterization of equilibrium measures for $p$-capacities on the boundary of an infinite tree of arbitrary (finite) local degree. For $p=2$, this provides, in the special case of trees, a converse to a theorem of Benjamini and Schramm, which interpretes the equilibrium measure of a planar graph's boundary in terms of square tilings of cylinders.
On the Mean Order of Connected Induced Subgraphs of Block Graphs
The average order of the connected induced subgraphs of a graph $G$ is called the mean connected induced subgraph (CIS) order of $G$. This is an extension of the mean subtree order of a tree, first studied by Jamison. In this article, we demonstrate that among all connected block graphs of order $n$, the path $P_n$ has minimum mean CIS order. This extends a result of Jamison from trees to connected block graphs, and supports the conjecture of Kroeker, Mol, and Oellermann that $P_n$ has minimum mean CIS order among all connected graphs of order $n$.
On an Annihilation Number Conjecture
Published
• View Publication
• BIB
Let $α(G)$ denote the cardinality of a maximum independent set, while $μ(G)$ be the size of a maximum matching in the graph $G=\left(V,E\right) $. If $α(G)+μ(G)=\left\vert V\right\vert $, then $G$ is a König-Egerváry graph. If $d_{1}\leq d_{2}\leq\cdots\leq d_{n}$ is the degree sequence of $G$, then the annihilation number $h\left(G\right) $ of $G$ is the largest integer $k$ such that $\sum\limits_{i=1}^{k}d_{i}\leq\left\vert E\right\vert $ (Pepper 2004, Pepper 2009). A set $A\subseteq V$ satisfying $\sum \limits_{a\in A} deg(a)\leq\left\vert E\right\vert $ is an annihilation set, if, in addition, $ deg\left(v\right) +\sum\limits_{a\in A} deg(a)>\left\vert E\right\vert $, for every vertex $v\in V(G)-A$, then $A$ is a maximal annihilation set in $G$.
In (Larson & Pepper 2011) it was conjectured that the following assertions are equivalent:
(i) $α\left(G\right) =h\left(G\right) $;
(ii) $G$ is a König-Egerváry graph and every maximum independent set is a maximal annihilating set.
In this paper, we prove that the implication "(i) $\Longrightarrow$ (ii)" is correct, while for the opposite direction we provide a series of generic counterexamples.
Keywords: maximum independent set, matching, tree, bipartite graph, König-Egerváry graph, annihilation set, annihilation number.
The Erdős-Ko-Rado property of trees of depth two
A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain $v$. This family is called an $r$-star. Then $G$ is said to be $r$-EKR if no intersecting subfamily of $ \mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star. Let $k, n, r \geq 1$, and let $T(n, k)$ be the tree of depth two in which the root has degree $n$ and every neighbour of the root has the same number $k + 1$ of neighbours. For each $k \geq 2$, we show that $T(n, k)$ is $r$-EKR if $2r \leq n$, extending results of Borg and of Feghali, Johnson and Thomas who considered the case $k = 1$.
Approximation Algorithms for Graph Burning
Published
• View Publication
• BIB
Numerous approaches study the vulnerability of networks against social contagion. Graph burning studies how fast a contagion, modeled as a set of fires, spreads in a graph. The burning process takes place in synchronous, discrete rounds. In each round, a fire breaks out at a vertex, and the fire spreads to all vertices that are adjacent to a burning vertex. The selection of vertices where fires start defines a schedule that indicates the number of rounds required to burn all vertices. Given a graph, the objective of an algorithm is to find a schedule that minimizes the number of rounds to burn graph. Finding the optimal schedule is known to be NP-hard, and the problem remains NP-hard when the graph is a tree or a set of disjoint paths. The only known algorithm is an approximation algorithm for disjoint paths, which has an approximation ratio of 1.5.
Many $H$-copies in graphs with a forbidden tree
Published
• View Publication
• BIB
For graphs $H$ and $F$, let $\operatorname{ex}(n, H, F)$ be the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices. The study of this function, which generalises the well-studied Turán numbers of graphs, was initiated recently by Alon and Shikhelman. We show that if $F$ is a tree then $\operatorname{ex}(n, H, F) = Θ(n^r)$ for some integer $r = r(H, F)$, thus answering one of their questions.
On complexity of cyclic coverings of graphs
By complexity of a finite graph we mean the number of spanning trees in the graph. The aim of the present paper is to give a new approach for counting complexity $τ(n)$ of cyclic $n$-fold coverings of a graph. We give an explicit analytic formula for $τ(n)$ in terms of Chebyshev polynomials and find its asymptotic behavior as $n\to\infty$ through the Mahler measure of the associated voltage polynomial. We also prove that $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.
On rationality of generating function for the number of spanning trees in circulant graphs
Published
• View Publication
• BIB
Let $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ be the generating function for the number $τ(n)$ of spanning trees in the circulant graphs $C_{n}(s_1,s_2,\ldots,s_k).$ We show that $F(x)$ is a rational function with integer coefficients satisfying the property $F(x)=F(1/x).$ A similar result is also true for the circulant graphs of odd valency $C_{2n}(s_1,s_2,\ldots,s_k,n).$ We illustrate the obtained results by a series of examples.
Some Remarks on the Dirichlet Problem on Infinite Trees
Published in Concrete Operators, vol. 6, no. 1, 2019, pp. 20-32
• View Publication
• BIB
We consider the Dirichlet problem on infinite and locally finite rooted trees, and we prove that the set of irregular points for continuous data has zero capacity. We also give some uniqueness results for solutions in Sobolev $ W^{1,p} $ of the tree.
From the flat-space S-matrix to the Wavefunction of the Universe
The physical information encoded in the cosmological late-time wavefunction of the universe is tied to its singularity structure and its behaviour as such singularities are approached. One important singularity is identified by the vanishing of the total energy, where the wavefunction reduces to the physics of scattering in flat space. In this paper, we discuss the behaviour of the perturbative wavefunction as its other singularities are approached and the role played by the flat-space scattering, in the simplified context of the class of toy models admitting a first principle definition in terms of cosmological polytopes. The problems then translates into the analysis of the structure of its facets, one of which -- the scattering facet -- beautifully encodes the flat-space S-matrix. We show that all the boundaries of the cosmological polytope encode information about the flat-space physics. In particular, a subset of its facets turns out to have a similar structure as the scattering facet, with the vertices which can be grouped together to form lower dimensional scattering facets. The other facets admit one (and only one) triangulation in terms of products of lower dimensional scattering facets. As a consequence, the whole perturbative wavefunction can be represented as a sum of product of flat-space scattering amplitudes. Finally, we turn the table around and ask whether the knowledge of the flat-space scattering amplitudes suffices to reconstruct the wavefunction of the universe. We show that, at least for our class of toy models, this is indeed the case at tree level if we are also provided with a subset of symmetries that the wavefunction ought to satisfy. Once the tree cosmological polytopes are reconstructed, the loop ones can be obtained as a particular projection of them.
Simultaneously Dominating all Spanning Trees of a Graph
Published
• View Publication
• BIB
We investigate the problem of simultaneously dominating all spanning trees of a given graph. We prove that on 2-connected graphs, a subset of the vertices dominates all spanning trees of the graph if and only if it is a vertex cover. Using this fact we present an exact algorithm that finds a simultaneous dominating set of minimum size using an oracle for finding a minimum vertex cover. The algorithm can be implemented to run in polynomial time on several graph classes, such as bipartite or chordal graphs. We prove that there is no polynomial time algorithm that finds a minimum simultaneous dominating set on perfect graphs, unless P=NP. Finally, we provide a 2-approximation algorithm for finding a minimum simultaneous dominating set.
Number of orbits of Discrete Interval Exchanges
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Combinatorics (May 16, 2019) dmtcs:4951
• View Publication
• BIB
A new recursive function on discrete interval exchange transformation associated to a composition of length $r$, and the permutation $σ(i) = r -i +1$ is defined. Acting on composition $c$, this recursive function counts the number of orbits of the discrete interval exchange transformation associated to the composition $c$. Moreover, minimal discrete interval exchanges transformation i.e. the ones having only one orbit, are reduced to the composition which label the root of the Raney tree. Therefore, we describe a generalization of the Raney tree using our recursive function.
Bumpless Pipedreams, Reduced Word Tableaux and Stanley Symmetric Functions
Lam, Lee and Shimozono introduced the structure of bumpless pipedreams in their study of back stable Schubert calculus. They found that a specific family of bumpless pipedreams, called EG-pipedreams, can be used to interpret the Edelman-Greene coefficients appearing in the expansion of a Stanley symmetric function in the basis of Schur functions. It is well known that the Edelman-Greene coefficients can also be interpreted in terms of reduced word tableaux for permutations. Lam, Lee and Shimozono proposed the problem of finding a shape preserving bijection between reduced word tableaux for a permutation $w$ and EG-pipedreams of $w$. In this paper, we construct such a bijection. The key ingredients are two new developed isomorphic tree structures associated to $w$: the modified Lascoux-Schützenberger tree of $w$ and the Edelman-Greene tree of $w$. Using the Little map, we show that the leaves in the modified Lascoux-Schützenberger of $w$ are in bijection with the reduced word tableaux for $w$. On the other hand, applying the droop operation on bumpless pipedreams also introduced by Lam, Lee and Shimozono, we show that the leaves in the Edelman-Greene tree of $w$ are in bijection with the EG-pipedreams of $w$. This allows us to establish a shape preserving one-to-one correspondence between reduced word tableaux for $w$ and EG-pipedreams of $w$.
A Maximum Linear Arrangement Problem on Directed Graphs
We propose a new arrangement problem on directed graphs, Maximum Directed Linear Arrangement (MaxDLA). This is a directed variant of a similar problem for undirected graphs, in which however one seeks maximum and not minimum; this problem known as the Minimum Linear Arrangement Problem (MinLA) has been much studied in the literature. We establish a number of theorems illustrating the behavior and complexity of MaxDLA. First, we relate MaxDLA to Maximum Directed Cut (MaxDiCut) by proving that every simple digraph $D$ on $n$ vertices satisfies $\frac{n}{2}$$maxDiCut(D) \leq MaxDLA(D) \leq (n-1)MaxDiCut(D)$. Next, we prove that MaxDiCut is NP-Hard for planar digraphs (even with the added restriction of maximum degree 15); it follows from the above bounds that MaxDLA is also NP-Hard for planar digraphs. In contrast, Hadlock (1975) and Dorfman and Orlova (1972) showed that the undirected Maximum Cut problem is solvable in polynomial time on planar graphs.
On the positive side, we present a polynomial-time algorithm for solving MaxDLA on orientations of trees with degree bounded by a constant, which translates to a polynomial-time algorithm for solving MinLA on the complements of those trees. This pairs with results by Goldberg and Klipker (1976), Shiloach (1979) and Chung (1984) solving MinLA in polynomial time on trees. Finally, analogues of Harper's famous isoperimetric inequality for the hypercube, in the setting of MaxDLA, are shown for tournaments, orientations of graphs with degree at most two, and transitive acyclic digraphs.