tree
6861 papers tagged with this keyword
On vertex-edge and independent vertex-edge domination
Published
• View Publication
• BIB
Given a graph $G = (V,E)$, a vertex $u \in V$ ve-dominates all edges incident to any vertex of $N_G[u]$. A set $S \subseteq V$ is a ve-dominating set if for all edges $e\in E$, there exists a vertex $u \in S$ such that $u$ ve-dominates $e$. Lewis [Ph.D. thesis, 2007] proposed a linear time algorithm for ve-domination problem for trees. In this paper, first we have constructed an example where the proposed algorithm fails. Then we have proposed a linear time algorithm for ve-domination problem in block graphs, which is a superclass of trees. We have also proved that finding minimum ve-dominating set is NP-complete for undirected path graphs. Finally, we have characterized the trees with equal ve-domination and independent ve-domination number.
The complexity of total edge domination and some related results on trees
Published
• View Publication
• BIB
For a graph $G = (V, E)$ with vertex set $V$ and edge set $E$, a subset $F$ of $E$ is called an $\emph{edge dominating set}$ (resp. a $\emph{total edge dominating set}$) if every edge in $E\backslash F$ (resp. in $E$) is adjacent to at least one edge in $F$, the minimum cardinality of an edge dominating set (resp. a total edge dominating set) of $G$ is the {\em edge domination number} (resp. {\em total edge domination number}) of $G$, denoted by $γ^{'}(G)$ (resp. $γ_t^{'}(G)$). In the present paper, we prove that the total edge domination problem is NP-complete for bipartite graphs with maximum degree 3. We also design a linear-time algorithm for solving this problem for trees. Finally, for a graph $G$, we give the inequality $γ^{'}(G)\leqslant γ^{'}_{t}(G)\leqslant 2γ^{'}(G)$ and characterize the trees $T$ which obtain the upper or lower bounds in the inequality.
The Tutte polynomial and toric Nakajima quiver varieties
Published
• View Publication
• BIB
For a quiver $Q$, we take $\mathcal{M}$ an associated toric Nakajima quiver variety and $Γ$ the underlying graph. In this article, we give a direct relation between a specialisation of the Tutte polynomial of $Γ$, the Kac polynomial of $Q$ and the Poincaré polynomial of $\mathcal{M}$. We do this by giving a cell decomposition of $\mathcal{M}$ indexed by spanning trees of $Γ$ and `geometrising' the deletion and contraction operators on graphs. These relations have been previously established by Sturmfels-Hausel and (Crawley-Boovey)-Van den Bergh, however the methods here are more hands-on.
A Method for Geodesic Distance on Subdivision of Trees with Arbitrary Orders and Their Applications
Published
• View Publication
• BIB
Geodesic distance, sometimes called shortest path length, has proven useful in a great variety of applications, such as information retrieval on networks including treelike networked models. Here, our goal is to analytically determine the exact solutions to geodesic distances on two different families of growth trees which are recursively created upon an arbitrary tree $\mathcal{T}$ using two types of well-known operations, first-order subdivision and ($1,m$)-star-fractal operation. Different from commonly-used methods, for instance, spectral techniques, for addressing such a problem on growth trees using a single edge as seed in the literature, we propose a novel method for deriving closed-form solutions on the presented trees completely. Meanwhile, our technique is more general and convenient to implement compared to those previous methods mainly because there are not complicated calculations needed. In addition, the closed-form expression of mean first-passage time ($MFPT$) for random walk on each member in tree families is also readily obtained according to connection of our obtained results to effective resistance of corresponding electric networks. The results suggest that the two topological operations above are sharply different from each other due to $MFPT$ for random walks, and, however, have likely to show the similar performance, at least, on geodesic distance.
Large book--cycle Ramsey numbers
Published
• View Publication
• BIB
Let $B_n^{(k)}$ be the book graph which consists of $n$ copies of $K_{k+1}$ all sharing a common $K_k$, and let $C_m$ be a cycle of length $m$. In this paper, we first determine the exact value of $r(B_n^{(2)}, C_m)$ for $\frac{8}{9}n+112\le m\le \lceil\frac{3n}{2}\rceil+1$ and $n \geq 1000$. This answers a question of Faudree, Rousseau and Sheehan (Cycle--book Ramsey numbers, {\it Ars Combin.,} {\bf 31} (1991), 239--248) in a stronger form when $m$ and $n$ are large. Building upon this exact result, we are able to determine the asymptotic value of $r(B_n^{(k)}, C_n)$ for each $k \geq 3$. Namely, we prove that for each $k \geq 3$, $r(B_n^{(k)}, C_n)= (k+1+o_k(1))n.$ This extends a result due to Rousseau and Sheehan (A class of Ramsey problems involving trees, {\it J.~London Math.~Soc.,} {\bf 18} (1978), 392--396).
Tree amalgamations and hyperbolic boundaries
We look at tree amalgamations of locally finite quasi-transitive hyperbolic graphs and prove that the homeomorphism type of the hyperbolic boundary of such a tree amalgamation only depends on the homeomorphism types of the hyperbolic boundaries of their factors. Additionally, we show that two locally finite quasi-transitive hyperbolic graphs have homeomorphic hyperbolic boundaries if and only if the homeomorphism types of the hyperbolic boundaries of the factors of their terminal factorisations coincide.
Identifiability in Phylogenetics using Algebraic Matroids
Published
• View Publication
• BIB
Identifiability is a crucial property for a statistical model since distributions in the model uniquely determine the parameters that produce them. In phylogenetics, the identifiability of the tree parameter is of particular interest since it means that phylogenetic models can be used to infer evolutionary histories from data. In this paper we introduce a new computational strategy for proving the identifiability of discrete parameters in algebraic statistical models that uses algebraic matroids naturally associated to the models. We then use this algorithm to prove that the tree parameters are generically identifiable for 2-tree CFN and K3P mixtures. We also show that the $k$-cycle phylogenetic network parameter is identifiable under the K2P and K3P models.
Constructing Semi-Directed Level-1 Phylogenetic Networks from Quarnets
Semi-directed networks provide a graphical structure for describing the evolutionary history of organisms in the presence of hybridization. We introduce two algorithms for reconstructing semi-directed level-1 phylogenetic networks from their complete set of 4-leaf subnetworks, known as quarnets. The sequential algorithm begins with a single quarnet and adds one leaf at a time until the entire network has been reconstructed. The cherry-blob algorithm is a novel approach inspired by cherry-picking techniques on trees
Infinite-step stationarity of rotor walk and the wired spanning forest
Published in Proc. Amer. Math. Soc. 149 (2021), 2415-2428
• View Publication
• BIB
We study rotor walk, a deterministic counterpart of the simple random walk, on infinite transient graphs. We show that the final rotor configuration of the rotor walk follows the law of the wired uniform spanning forest oriented toward infinity (OWUSF) measure when the initial rotor configuration is sampled from OWUSF. This result holds for all graphs for which each tree in the wired spanning forest has one single end almost surely. This answers a question posed in a previous work of the author (Chan 2018).
Profinite tree sets
Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they relate to the finite tree sets they induce, and obtain a characterization of infinite tree sets in combinatorial terms.
A note on the independence number, domination number and related parameters of random binary search trees and random recursive trees
Published
• View Publication
• BIB
We identify the mean growth of the independence number of random binary search trees and random recursive trees and show normal fluctuations around their means. Similarly we also show normal limit laws for the domination number and variations of it for these two cases of random tree models. Our results are an application of a recent general theorem of Holmgren and Janson on fringe trees in these two random tree models.
A novel count of the spanning trees of a cube
Published
• View Publication
• BIB
Using the special value at $u=1$ of the Artin-Ihara $L$-function, we give a short proof of the count of the number of spanning trees in the $n$-cube.
Catalan-many tropical morphisms to trees; Part I: Constructions
Published
• View Publication
• BIB
We investigate the tree gonality of a genus-$g$ metric graph, defined as the minimum degree of a tropical morphism from any tropical modification of the metric graph to a metric tree. We give a combinatorial constructive proof that this number is at most $\lceil g/2 \rceil + 1$, a fact whose proofs so far required an algebro-geometric detour via special divisors on curves. For even genus, the tropical morphism which realizes the bound belongs to a family of tropical morphisms that is pure of dimension $3g-3$ and that has a generically finite-to-one map onto the moduli space of genus-$g$ metric graphs. Our methods focus on the study of such families. This is part I in a series of two papers: in part I we fix the combinatorial type of the metric graph, while in part II we vary the combinatorial type and show that the number of tropical morphisms, counted with suitable multiplicities, is the same Catalan number that counts morphisms from a genus-$g$ curve to the projective line.
GTOC X: Solution Approach of Team Sapienza-PoliTo
This paper summarizes the solution approach and the numerical methods developed by the joint team Sapienza University of Rome and Politecnico di Torino (Team Sapienza-PoliTo) in the context of the 10th Global Trajectory Optimization Competition. The proposed method is based on a preliminary partition of the galaxy into several small zones of interest, where partial settlement trees are developed, in order to match a (theoretical) optimal star distribution. A multi-settler stochastic Beam Best-First Search, that exploits a guided multi-star multi-vessel transition logic, is proposed for solving a coverage problem, where the number of stars to capture and their distribution within a zone is assigned. The star-to-star transfers were then optimized through an indirect procedure. A number of refinements, involving settle time re-optimization, explosion, and pruning, were also investigated. The submitted 1013-star solution, as well as an enhanced 1200-point rework, are presented.
All Trees are Seven-Cordial
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing edge-weights as the sum modulo $k$ of the labels on incident vertices to a given edge, which furthermore satisfies the following conditions:
(i) Each label appears on at most one more vertex than any other label. (ii) Each edge-weight appears on at most one more edge than any other edge-weight.
Mark Hovey (1991) conjectured that all trees are $k$-cordial for any integer $k$. Cahit (1987) had shown earlier that all trees are $2$-cordial and Hovey proved that all trees are $3,4,$ and $5$-cordial. Driscoll, et. al. (2017), used an adjustment to Hovey's test to show that all trees are $6$-cordial. It is shown here that all trees are $7$-cordial by that same adjustment.
Chromatic Posets
Published
• View Publication
• BIB
In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity or Schur-positivity of a weighed subtraction between $X_G$ and $X_H$. We find a biconditional condition between $e$-positivity or Schur-positivity and the relation to the complete graph. This gives a new paradigm for $e$-positivity and for Schur-positivity. We show many other interesting properties of these posets including that trees form an independent set and are maximal elements. Additionally, we find that stars are independent elements, the independence number increases as we increase in the poset and that the family of lollipop graphs form a chain.
On the homotopy and strong homotopy type of complexes of discrete Morse functions
Published
• View Publication
• BIB
In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if $K$ contains two leaves that share a common vertex, then the Morse complex is strongly collapsible and hence has the homotopy type of a point. We also show that the pure Morse complex of a tree is strongly collapsible, thereby recovering as a corollary a result of Ayala et al. In addition, we prove that the Morse complex of a disjoint union $K\sqcup L$ is the Morse complex of the join $K*L$. This result is used to compute the homotopy type of the Morse complex of some families of graphs, including Caterpillar graphs, as well as the automorphism group of a disjoint union for a large collection of disjoint complexes.
Constructing Laplacian matrices with Soules vectors: inverse eigenvalue problem and applications
The symmetric nonnegative inverse eigenvalue problem (SNIEP) asks which sets of numbers (counting multiplicities) can be the eigenvalues of a symmetric matrix with nonnegative entries. While examples of such matrices are abundant in linear algebra and various applications, this question is still open for matrices of dimension $N\geq 5$. One of the approaches to solve the SNIEP was proposed by George W. Soules, relying on a specific type of eigenvectors (Soules vectors) to derive sufficient conditions for this problem. Elsner et al. later showed a canonical way to construct all Soules vectors, based on binary rooted trees. While Soules vectors are typically treated as a totally ordered set of vectors, we propose in this article to consider a relaxed alternative: a partially ordered set of Soules vectors. We show that this perspective enables a more complete characterization of the sufficient conditions for the SNIEP. In particular, we show that the set of eigenvalues that satisfy these sufficient conditions is a convex cone, with symmetries corresponding to the automorphisms of the binary rooted tree from which the Soules vectors were constructed. As a second application, we show how Soules vectors can be used to construct graph Laplacian matrices with a given spectrum and describe a number of interesting connections with the concepts of hierarchical random graphs, equitable partitions and effective resistance.
2-Matching Complexes
A $2$-matching complex is a simplicial complex which captures the relationship between $2$-matchings of a graph. In this paper, we will use discrete Morse Theory and the Matching Tree Algorithm to prove homotopical results. We will consider a class of graphs for which the homotopy type of the $2$-matching complex transforms from a sphere to a point with the addition of leaves. We end the paper by defining $k$-matching sequences and looking at the $1$- and $2$-matching complexes of wheel graphs and perfect caterpillar graphs.
Counting Phylogenetic Networks of level 1 and 2
Published
• View Publication
• BIB
Phylogenetic networks generalize phylogenetic trees, and have been introduced in order to describe evolution in the case of transfer of genetic material between coexisting species. There are many classes of phylogenetic networks, which can all be modeled as families of graphs with labeled leaves. In this paper, we focus on rooted and unrooted level-k networks and provide enumeration formulas (exact and asymptotic) for rooted and unrooted level-1 and level-2 phylogenetic networks with a given number of leaves. We also prove that the distribution of some parameters of these networks (such as their number of cycles) are asymptotically normally distributed. These results are obtained by first providing a recursive description (also called combinatorial specification) of our networks, and by next applying classical methods of enumerative, symbolic and analytic combinatorics.